Generating tests for detecting faults in feature models P Arcaini, A Gargantini, P Vavassori 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015 | 61 | 2015 |
CitLab: a laboratory for combinatorial interaction testing A Gargantini, P Vavassori 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 33 | 2012 |
Validation of constraints among configuration parameters using search-based combinatorial interaction testing A Gargantini, J Petke, M Radavelli, P Vavassori Search Based Software Engineering: 8th International Symposium, SSBSE 2016 …, 2016 | 28 | 2016 |
Validation of models and tests for constrained combinatorial interaction testing P Arcaini, A Gargantini, P Vavassori 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 25 | 2014 |
Efficient combinatorial test generation based on multivalued decision diagrams A Gargantini, P Vavassori Haifa Verification Conference, 220-235, 2014 | 23 | 2014 |
Combinatorial interaction testing with CitLab A Calvagna, A Gargantini, P Vavassori 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 22 | 2013 |
Automatic Detection and Removal of Conformance Faults in Feature Models P Arcaini, A Gargantini, P Vavassori 2016 IEEE International Conference on Software Testing, Verification and …, 0 | 17* | |
A novel use of equivalent mutants for static anomaly detection in software artifacts P Arcaini, A Gargantini, E Riccobene, P Vavassori Information and Software Technology 81, 52-64, 2017 | 15 | 2017 |
Combinatorial testing for feature models using citlab A Calvagna, A Gargantini, P Vavassori 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 13 | 2013 |
Automated repairing of variability models P Arcaini, A Gargantini, P Vavassori Proceedings of the 21st International Systems and Software Product Line …, 2017 | 9 | 2017 |
Using decision trees to aid algorithm selection in combinatorial interaction tests generation A Gargantini, P Vavassori 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015 | 8 | 2015 |
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts P Arcaini, A Gargantini, E Riccobene, P Vavassori 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015 | 6 | 2015 |
NuSeen: an eclipse-based environment for the NuSMV model checker P Arcaini, A Gargantini, P Vavassori | 4 | 2013 |
CitLab, a laboratory for combinatorial interaction testing P Vavassori Università degli studi di Bergamo, 2016 | 2 | 2016 |
CitLab, combinatorial interaction testing P Vavassori Production Engineering, 2016 | | 2016 |