Paolo Vavassori

12 papers A 4B 1Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2017 J jnl
A novel use of equivalent mutants for static anomaly detection in software artifacts.
Inf. Softw. Technol.
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori
2017 — conf
Automated Repairing of Variability Models.
SPLC (A)
Paolo Arcaini, Angelo Gargantini, Paolo Vavassori
2016 A conf
Automatic Detection and Removal of Conformance Faults in Feature Models.
ICST
Paolo Arcaini, Angelo Gargantini, Paolo Vavassori
2016 B conf
Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing.
SSBSE
Angelo Gargantini, Justyna Petke, Marco Radavelli, Paolo Vavassori
2015 A conf
Generating Tests for Detecting Faults in Feature Models.
ICST
Paolo Arcaini, Angelo Gargantini, Paolo Vavassori
2015 — conf
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts.
ICST Workshops
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori
2015 — conf
Using decision trees to aid algorithm selection in combinatorial interaction tests generation.
ICST Workshops
Angelo Gargantini, Paolo Vavassori
2014 — conf
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams.
Haifa Verification Conference
Angelo Gargantini, Paolo Vavassori
2014 — conf
Validation of Models and Tests for Constrained Combinatorial Interaction Testing.
ICST Workshops
Paolo Arcaini, Angelo Gargantini, Paolo Vavassori
2013 A conf
Combinatorial Interaction Testing with CITLAB.
ICST
Andrea Calvagna, Angelo Gargantini, Paolo Vavassori
2013 — conf
Combinatorial Testing for Feature Models Using CitLab.
ICST Workshops
Andrea Calvagna, Angelo Gargantini, Paolo Vavassori
2012 A conf
CITLAB: A Laboratory for Combinatorial Interaction Testing.
ICST
Angelo Gargantini, Paolo Vavassori
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling