CITLAB: A Laboratory for Combinatorial Interaction Testing. - Angelo Gargantini; Paolo Vavassori (ICST, 2012)

Combinatorial Interaction Testing with CITLAB. - Andrea Calvagna; Angelo Gargantini; Paolo Vavassori (ICST, 2013)

Combinatorial Testing for Feature Models Using CitLab. - Andrea Calvagna; Angelo Gargantini; Paolo Vavassori (ICST Workshops, 2013)

Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams. - Angelo Gargantini; Paolo Vavassori (Haifa Verification Conference, 2014)

Validation of Models and Tests for Constrained Combinatorial Interaction Testing. - Paolo Arcaini; Angelo Gargantini; Paolo Vavassori (ICST Workshops, 2014)

Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene; Paolo Vavassori (ICST Workshops, 2015)

Generating Tests for Detecting Faults in Feature Models. - Paolo Arcaini; Angelo Gargantini; Paolo Vavassori (ICST, 2015)

Using decision trees to aid algorithm selection in combinatorial interaction tests generation. - Angelo Gargantini; Paolo Vavassori (ICST Workshops, 2015)

Automatic Detection and Removal of Conformance Faults in Feature Models. - Paolo Arcaini; Angelo Gargantini; Paolo Vavassori (ICST, 2016)

Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing. - Angelo Gargantini; Justyna Petke; Marco Radavelli; Paolo Vavassori (SSBSE, 2016)

Automated Repairing of Variability Models. - Paolo Arcaini; Angelo Gargantini; Paolo Vavassori (SPLC (A), 2017)

A novel use of equivalent mutants for static anomaly detection in software artifacts. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene; Paolo Vavassori (Inf. Softw. Technol., 2017)