Marco Radavelli

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 14

Top Topics

Prune The Search Space

Accurate Models

Combinatorial Search

Top Venues

Publications

Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli
Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM (2019)
Bernhard Garn, Marco Radavelli, Angelo Gargantini, Manuel Leithner, Dimitris E. Simos
A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection. IEA/AIE (2019)
Paolo Arcaini, Angelo Gargantini, Marco Radavelli
Achieving change requirements of feature models by an evolutionary approach. SPLC (A) (2019)
Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli
Repairing Timed Automata Clock Guards through Abstraction and Testing. CoRR (2019)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. ICTSS (2019)
Paolo Arcaini, Angelo Gargantini, Marco Radavelli
A process for fault-driven repair of constraints among features. SPLC (B) (2019)
Marco Radavelli
Using software testing to repair models. ESEC/SIGSOFT FSE (2019)
Marco Radavelli
Using Testing to Repair Models. ICST (2019)
Paolo Arcaini, Angelo Gargantini, Marco Radavelli
Achieving change requirements of feature models by an evolutionary approach. J. Syst. Softw. 150 (2019)
Paolo Arcaini, Angelo Gargantini, Marco Radavelli
Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations. ICST Workshops (2019)
Angelo Gargantini, Marco Radavelli
Migrating Combinatorial Interaction Test Modeling and Generation to the Web. ICST Workshops (2018)
Paolo Arcaini, Angelo Gargantini, Marco Radavelli
An evolutionary process for product-driven updates of feature models. VaMoS (2018)
Angelo Gargantini, Justyna Petke, Marco Radavelli
Combinatorial Interaction Testing for Automated Constraint Repair. ICST Workshops (2017)
Angelo Gargantini, Justyna Petke, Marco Radavelli, Paolo Vavassori
Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing. SSBSE (2016)