Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 63
Titolo Tipologia Data di pubblicazione Autori File
Reusing Solutions Modulo Theories 01 - Articolo su rivista 2021 Denaro, GPezze, M +
Towards Evidence-Based Testability Measurements 02 - Intervento a convegno 2021 Guglielmo, LucaRiboni, AndreaDenaro, Giovanni
Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control 02 - Intervento a convegno 2021 Denaro, GLeporati, A +
On introducing automatic test case generation in practice: A success story and lessons learned 01 - Articolo su rivista 2021 Brunetto M.Denaro G.Mariani L. +
Facilitating program performance profiling via evolutionary symbolic execution 01 - Articolo su rivista 2020 Braione P.Denaro G. +
Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data 02 - Intervento a convegno 2020 Clerissi D.Denaro G.Mobilio M.Mariani L.
GUI testing in production: Challenges and opportunities 02 - Intervento a convegno 2019 Denaro G.Guglielmo L.Mariani L.Riganelli O.
Big-data applications as self-Adaptive systems of systems 02 - Intervento a convegno 2019 Denaro G. +
Design for testability of ermts applications 02 - Intervento a convegno 2019 Riboni A.Guglielmo L.Orru M.Braione P.Denaro G.
SUSHI and TARDIS at the SBST2019 Tool Competition 02 - Intervento a convegno 2019 Braione P.Denaro G.
Symbolic execution-driven extraction of the parallel execution plans of Spark applications 02 - Intervento a convegno 2019 Denaro G. +
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution 02 - Intervento a convegno 2018 Denaro, Giovanni +
SUSHI: A test generator for programs with complex structured inputs 02 - Intervento a convegno 2018 Braione, PietroDenaro, GiovanniPezzè, Mauro +
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 02 - Intervento a convegno 2017 DENARO, GIOVANNIPEZZE', MAURO +
Combining symbolic execution and search-based testing for programs with complex heap inputs 02 - Intervento a convegno 2017 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO +
Bidirectional Symbolic Analysis for Effective Branch Testing 01 - Articolo su rivista 2016 DENARO, GIOVANNIPEZZE', MAURO +
JBSE: A symbolic executor for Java programs with complex heap inputs 02 - Intervento a convegno 2016 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO
Dynamic data flow testing of object oriented systems 02 - Intervento a convegno 2015 DENARO, GIOVANNIPEZZE', MAURO +
Symbolic execution of programs with heap inputs 02 - Intervento a convegno 2015 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 03 - Contributo in libro 2015 BRAIONE, PIETRODENARO, GIOVANNIRIGANELLI, OLIVIERO +
Mostrati risultati da 1 a 20 di 63
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