Sfoglia per Autore
CPSDebug: A tool for explanation of failures in cyber-physical systems
2020 Bartocci, E; Manjunath, N; Mariani, L; Mateis, C; Nickovic, D; Pastore, F
BDCI: Behavioral driven conflict identification
2017 Pastore, F; Mariani, L; Micucci, D
An Exploratory Study of Field Failures
2017 Gazzola, L; Mariani, L; Pastore, F; Pezze, M
VART: a tool for the automatic detection of regression faults
2017 Pastore, F; Mariani, L
Timed k-Tail: Automatic Inference of Timed Automata
2017 Pastore, F; Micucci, D; Mariani, L
Dynamic analysis of regression problems in industrial systems: Challenges and solutions
2016 Pastore, F; Mariani, L
Evolutionary robustness testing of data processing systems using models and data mutation
2016 Di Nardo, D; Pastore, F; Arcuri, A; Briand, L
ZoomIn: Discovering failures by detecting wrong assertions
2015 Pastore, F; Mariani, L
Regression checking of changes in C software
2015 Pastore, F; Mariani, L; Hyvärinen, A; Fedyukovich, G; Sharygina, N; Sehestedt, S; Muhammad, A
RADAR: Dynamic analysis of upgrades in c/c++ software
2015 Pastore, F; Mariani, L; Goffi, A; Oriol, M; Wahler, M
Automatic generation of system test cases from use case specifications
2015 Wang, C; Pastore, F; Goknil, A; Briand, L; Iqbal, Z
Generating complex and faulty test data through model-based mutation analysis
2015 Di Nardo, D; Pastore, F; Briand, L
UMTG: A toolset to automatically generate system test cases from use case specifications
2015 Wang, C; Pastore, F; Goknil, A; Briand, L; Iqbal, Z
MIMIC: Locating and Understanding Bugs by Analyzing Mimicked Executions.
2014 Zuddas, D; Jin, W; Pastore, F; Mariani, L; Orso, A
Verificaiton-Aided Regression Testing
2014 Pastore, F; Mariani, L; Hyvarinen, A; Fedyukovich, G; Sharygina, N; Sehestedt, S; Muhammad, A
Early Conflict Detection with Mined Models
2014 Mariani, L; Micucci, D; Pastore, F
Automatic test case evolution
2014 Mirzaaghaei, M; Pastore, F; Pezze', M
AVA: Automata Violations Analyzer
2013 Babenko, A; Mariani, L; Pastore, F
Radar: Dynamic Analysis of Upgrades in C/C++ Software
2013 Pastore, F; Mariani, L; Goffi, A
CrowdOracles: Can the Crowd Solve the Oracle Problem
2013 Pastore, F; Mariani, L; Fraser, G
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile