Bicocca Open Archive

Logo unimib boa

PASTORE, FABRIZIO

PASTORE, FABRIZIO  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 20 di 40 (tempo di esecuzione: 0.005 secondi).
Titolo Tipologia Data di pubblicazione Autori File
CPSDebug: A tool for explanation of failures in cyber-physical systems 02 - Intervento a convegno 2020 Mariani L.Pastore F. +
An Exploratory Study of Field Failures 02 - Intervento a convegno 2017 Gazzola, LMariani, LPastore, FPezze, M
BDCI: Behavioral driven conflict identification 02 - Intervento a convegno 2017 Pastore, FMariani, LMicucci, D
Timed k-Tail: Automatic Inference of Timed Automata 02 - Intervento a convegno 2017 Pastore, FMicucci, DMariani, L
VART: a tool for the automatic detection of regression faults 02 - Intervento a convegno 2017 Pastore, FMariani, L
Dynamic analysis of regression problems in industrial systems: Challenges and solutions 02 - Intervento a convegno 2016 PASTORE, FABRIZIOMARIANI, LEONARDO
Evolutionary robustness testing of data processing systems using models and data mutation 02 - Intervento a convegno 2016 PASTORE, FABRIZIO +
Automatic generation of system test cases from use case specifications 02 - Intervento a convegno 2015 PASTORE, FABRIZIO +
Generating complex and faulty test data through model-based mutation analysis 02 - Intervento a convegno 2015 PASTORE, FABRIZIO +
RADAR: Dynamic analysis of upgrades in c/c++ software 03 - Contributo in libro 2015 PASTORE, FABRIZIOMARIANI, LEONARDO +
Regression checking of changes in C software 03 - Contributo in libro 2015 PASTORE, FABRIZIOMARIANI, LEONARDO +
UMTG: A toolset to automatically generate system test cases from use case specifications 02 - Intervento a convegno 2015 PASTORE, FABRIZIO +
ZoomIn: Discovering failures by detecting wrong assertions 02 - Intervento a convegno 2015 PASTORE, FABRIZIOMARIANI, LEONARDO
Automatic test case evolution 01 - Articolo su rivista 2014 PASTORE, FABRIZIOPEZZE', MAURO +
Early Conflict Detection with Mined Models 02 - Intervento a convegno 2014 MARIANI, LEONARDOMICUCCI, DANIELAPASTORE, FABRIZIO
MIMIC: Locating and Understanding Bugs by Analyzing Mimicked Executions. 02 - Intervento a convegno 2014 PASTORE, FABRIZIOMARIANI, LEONARDO +
Verificaiton-Aided Regression Testing 02 - Intervento a convegno 2014 PASTORE, FABRIZIOMARIANI, LEONARDO +
AVA: Automata Violations Analyzer 99 - Altro 2013 MARIANI, LEONARDOPASTORE, FABRIZIO +
AVA: Supporting Debugging with Failure Interpretations 02 - Intervento a convegno 2013 PASTORE, FABRIZIOMARIANI, LEONARDO
CrowdOracles: Can the Crowd Solve the Oracle Problem 02 - Intervento a convegno 2013 PASTORE, FABRIZIOMARIANI, LEONARDO +