Paolo Vavassori
Paolo Vavassori
Research fellow, Computer Science, UniversitÓ di Bergamo
Email verificata su unibg.it - Home page
Titolo
Citata da
Citata da
Anno
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
402015
CitLab: a laboratory for combinatorial interaction testing
A Gargantini, P Vavassori
2012 IEEE Fifth International Conference on Software Testing, Verificationá…, 2012
252012
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
202014
Combinatorial interaction testing with CitLab
A Calvagna, A Gargantini, P Vavassori
2013 IEEE Sixth International Conference on Software Testing, Verificationá…, 2013
182013
Validation of constraints among configuration parameters using search-based combinatorial interaction testing
A Gargantini, J Petke, M Radavelli, P Vavassori
International Symposium on Search Based Software Engineering, 49-63, 2016
172016
Efficient combinatorial test generation based on multivalued decision diagrams
A Gargantini, P Vavassori
Haifa Verification Conference, 220-235, 2014
132014
Combinatorial testing for feature models using citlab
A Calvagna, A Gargantini, P Vavassori
2013 IEEE Sixth International Conference on Software Testing, Verificationá…, 2013
112013
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
92017
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
9*
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
52015
Automated repairing of variability models
P Arcaini, A Gargantini, P Vavassori
Proceedings of the 21st International Systems and Software Product Lineá…, 2017
42017
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
42015
NuSeen: an eclipse-based environment for the NuSMV model checker
P Arcaini, A Gargantini, P Vavassori
42013
CitLab, a laboratory for combinatorial interaction testing
P Vavassori
UniversitÓ degli studi di Bergamo, 2016
22016
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–14