RADAVELLI, Marco Statistiche

RADAVELLI, Marco  

Mostra schede
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.016 secondi).
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2021 Using Model-Based Testing to Repair Models of Configurable Software Systems Radavelli, Marco 1.9 Tesi di dottorato - Unibg doctoral theses::1.9.03 Collana della Scuola di Alta Formazione Dottorale
6-mag-2020 Using Software Testing to Repair Models Radavelli, Marco 1.9 Tesi di dottorato - Unibg doctoral theses::1.9.01 Tesi di dottorato
1-gen-2019 A fault-driven combinatorial process for model evolution in XSS vulnerability detection Garn, Bernhard; Radavelli, Marco; Gargantini, Angelo Michele; Leithner, Manuel; Simos Dimitris, E. 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2019 A process for fault-driven repair of constraints among features Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2019 Achieving change requirements of feature models by an evolutionary approach Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2019 Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Radavelli, Marco; Duan, Feng; Lei, Yu 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2019 Efficient and guaranteed detection of t-Way failure-inducing combinations Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2019 Repairing Timed Automata Clock Guards through Abstraction and Testing André, Étienne; Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2017 Combinatorial Interaction Testing for Automated Constraint Repair Gargantini, Angelo Michele; Petke, Justyna; Radavelli, Marco 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2016 Validation of constraints among configuration parameters using search-based combinatorial interaction testing Gargantini, Angelo Michele; Petke, Justyna; Radavelli, Marco; Vavassori, Paolo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations