Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 69
Titolo Tipologia Data di pubblicazione Autori File
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency 01 - Articolo su rivista 2024 Clerissi D.Denaro G.Mobilio M.Mariani L.
Automatically generating test cases for safety-critical software via symbolic execution 01 - Articolo su rivista 2023 Kurian E.Briola D.Braione P.Denaro G.
Prevent: An Unsupervised Approach to Predict Software Failures in Production 01 - Articolo su rivista 2023 Denaro G.Pezzè M. +
Automated Test Case Generation for Safety-Critical Software in Scade 02 - Intervento a convegno 2023 Kurian, EBraione, PBriola, DModonato, MDenaro, G +
Exploiting Ethereum after “The Merge”: The Interplay between PoS and MEV Strategies 02 - Intervento a convegno 2023 Mancino, DLeporati, AViviani, MDenaro, G
GUI Testing to the Power of Parallel Q-Learning 02 - Intervento a convegno 2023 Mobilio M.Clerissi D.Denaro G.Mariani L.
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.Pezze M.
Reusing Solutions Modulo Theories 01 - Articolo su rivista 2021 Denaro, GPezze, M +
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.
Facilitating program performance profiling via evolutionary symbolic execution 01 - Articolo su rivista 2020 Braione P.Denaro G. +
Symbolic execution-driven extraction of the parallel execution plans of Spark applications 02 - Intervento a convegno 2019 Denaro G. +
Big-data applications as self-Adaptive systems of systems 02 - Intervento a convegno 2019 Denaro G. +
GUI testing in production: Challenges and opportunities 02 - Intervento a convegno 2019 Denaro G.Guglielmo L.Mariani L.Riganelli O.
SUSHI and TARDIS at the SBST2019 Tool Competition 02 - Intervento a convegno 2019 Braione P.Denaro G.
Design for testability of ermts applications 02 - Intervento a convegno 2019 Riboni A.Guglielmo L.Orru M.Braione P.Denaro G.
SUSHI: A test generator for programs with complex structured inputs 02 - Intervento a convegno 2018 Braione, PietroDenaro, GiovanniPezzè, Mauro +
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution 02 - Intervento a convegno 2018 Denaro, Giovanni +
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 02 - Intervento a convegno 2017 DENARO, GIOVANNIPEZZE', MAURO +
Mostrati risultati da 1 a 20 di 69
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