dblp computer science bibliography               

 

Gargantini, Angelo, andVavassori, Paolo 
CitLab: a Laboratory for Combinatorial Interaction Testing 
in Workshop on Combinatorial Testing (CT) In conjunction with International Conference on Software Testing (ICST 2012, April 17-1) IEEE Computer Society (2012): 559-568 ISBN 978-0-7695-4670-4   pdf

Calvagna, Andrea,Gargantini, Angelo, andVavassori, Paolo 
Combinatorial Interaction Testing with CITLAB 
in Sixth IEEE International Conference on Software Testing, Verification and Validation - Testing Tool track IEEE Computer Society, ICST '13 (2013): 376--382 ISBN 978-0-7695-4968-2 pdf

Calvagna, Andrea,Gargantini, Angelo, andVavassori, Paolo. 
Combinatorial Testing for Feature Models Using CitLab 
in The 2nd International Workshop on Combinatorial Testing (IWCT 2013) In conjunction with International Conference on Software Testing (ICST 2013, March 18-22) Luxembourg IEEEComputer Society, ICSTW'13 (2013): 338--347     ISBN 978-0-7695-4993-4 pdf

Arcaini, Paolo,Gargantini, Angelo, andVavassori, Paolo 
NuSeen: an eclipse-based environment for theNuSMVmodel checker 
in Eclipse-IT 2013- VIII Workshop of Italian Eclipse Community(2013) ISBN 978-88-904388-4-4 pdf

Gargantini, Angelo, andVavassori, Paolo 
Efficient Combinatorial Test Generation based on Multivalued Decision Diagrams 
in Hardware and Software: Verification and Testing, Haifa Verification Conference  HVC  2014  (Eds.Yahav, Eran)  Springer   International Publishing, Lecture Notes in Computer Science, vol. 8855 (2014):220-235    ISBN 978-3-319-13337-9 pdf

PaoloArcaini, AngeloGargantini, and PaoloVavassori 
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 
in The 3rd International Workshop on Combinatorial Testing (IWCT 2014) In conjunction with IEEE International Conference on Software Testing (ICST 2014, March 31 - April 4) (2014): 98-107  pdf

Arcaini, Paolo,Gargantini, Angelo, andVavassori, Paolo 
Generating Tests for Detecting Faults in Feature Models 
in ICST 2015 8th IEEE International Conference on Software Testing, Verification and Validation (2015): 1-10 pdf

Arcaini, Paolo,Gargantini, Angelo,Riccobene,Elvinia, andVavassori, Paolo 
Rehabilitatingequivalent mutants as static anomaly detectors in software artifacts 
in Mutation 2015 - Software Testing, Verification and Validation Workshops(ICSTW), 2015 IEEE Eighth International Conference on (2015): 1-6pdf

Gargantini, Angelo, andVavassori, Paolo 
Using Decision Trees to aid Algorithm Selection 
in Combinatorial Interaction Test Generation 

in IWCT - International Workshop on Combinatorial Testing (2015): 1-10  pdf

PROCEDINGS

P.Arcaini, A.Gargantini, E.Riccobene, and P.Vavassori.

A novel use of equivalent mutants for static  anomaly detection in software artifacts.               

In Information and Software Technology, 2016 (under review. Minor revision)   ACCEPTED 

Arcaini, Paolo,Gargantini, Angelo, andVavassori, Paolo

Automatic Detection and Removal of Conformance Faults in Feature Models 

in ICST 2015 9th IEEE International Conference on Software Testing, Verification and Validation (2016):  ACCEPTED