Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 40
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. +
BDCI: Behavioral driven conflict identification 02 - Intervento a convegno 2017 Pastore, FMariani, LMicucci, D
An Exploratory Study of Field Failures 02 - Intervento a convegno 2017 Gazzola, LMariani, LPastore, FPezze, M
VART: a tool for the automatic detection of regression faults 02 - Intervento a convegno 2017 Pastore, FMariani, L
Timed k-Tail: Automatic Inference of Timed Automata 02 - Intervento a convegno 2017 Pastore, FMicucci, DMariani, 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 +
ZoomIn: Discovering failures by detecting wrong assertions 02 - Intervento a convegno 2015 PASTORE, FABRIZIOMARIANI, LEONARDO
Regression checking of changes in C software 03 - Contributo in libro 2015 PASTORE, FABRIZIOMARIANI, LEONARDO +
RADAR: Dynamic analysis of upgrades in c/c++ software 03 - Contributo in libro 2015 PASTORE, FABRIZIOMARIANI, LEONARDO +
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 +
UMTG: A toolset to automatically generate system test cases from use case specifications 02 - Intervento a convegno 2015 PASTORE, 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 +
Early Conflict Detection with Mined Models 02 - Intervento a convegno 2014 MARIANI, LEONARDOMICUCCI, DANIELAPASTORE, FABRIZIO
Automatic test case evolution 01 - Articolo su rivista 2014 PASTORE, FABRIZIOPEZZE', MAURO +
AVA: Automata Violations Analyzer 99 - Altro 2013 MARIANI, LEONARDOPASTORE, FABRIZIO +
Radar: Dynamic Analysis of Upgrades in C/C++ Software 99 - Altro 2013 PASTORE, FABRIZIOMARIANI, LEONARDO +
CrowdOracles: Can the Crowd Solve the Oracle Problem 02 - Intervento a convegno 2013 PASTORE, FABRIZIOMARIANI, LEONARDO +
Mostrati risultati da 1 a 20 di 40
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