Marco Radavelli

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