RADAVELLI, Marco Statistiche
RADAVELLI, Marco
Scuola di Alta Formazione Dottorale
Using Model-Based Testing to Repair Models of Configurable Software Systems
2021-01-01 Radavelli, Marco
Using Software Testing to Repair Models
2020-05-06 Radavelli, Marco
A fault-driven combinatorial process for model evolution in XSS vulnerability detection
2019-01-01 Garn, Bernhard; Radavelli, Marco; Gargantini, Angelo Michele; Leithner, Manuel; Simos Dimitris, E.
A process for fault-driven repair of constraints among features
2019-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco
Achieving change requirements of feature models by an evolutionary approach
2019-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines
2019-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Radavelli, Marco; Duan, Feng; Lei, Yu
Efficient and guaranteed detection of t-Way failure-inducing combinations
2019-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco
Repairing Timed Automata Clock Guards through Abstraction and Testing
2019-01-01 André, Étienne; Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco
Combinatorial Interaction Testing for Automated Constraint Repair
2017-01-01 Gargantini, Angelo Michele; Petke, Justyna; Radavelli, Marco
Validation of constraints among configuration parameters using search-based combinatorial interaction testing
2016-01-01 Gargantini, Angelo Michele; Petke, Justyna; Radavelli, Marco; Vavassori, Paolo
| 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 |