BRAIONE, PIETRO

BRAIONE, PIETRO  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 20 di 24 (tempo di esecuzione: 0.024 secondi).
Titolo Tipologia Data di pubblicazione Autori File
Classification methods, reduced datasets and quality analysis applications 02 - Intervento a convegno 2004 BRAIONE, PIETRO +
On Calculi for Context-Aware Coordination 02 - Intervento a convegno 2004 BRAIONE, PIETRO +
Classification methods and inductive learning rules: What we may learn from theory 01 - Articolo su rivista 2006 BRAIONE, PIETRO +
Verifying LTL Properties of Bytecode with Symbolic Execution 02 - Intervento a convegno 2008 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO +
Structural Coverage of Feasible Code 02 - Intervento a convegno 2010 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO +
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 01 - Articolo su rivista 2011 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO +
An Eclipse Plug-in for Code Smell Detection 02 - Intervento a convegno 2012 ARCELLI FONTANA, FRANCESCABRAIONE, PIETROROVEDA, RICCARDOZANONI, MARCO
Automatic detection of bad smells in code: An experimental assessment 01 - Articolo su rivista 2012 ARCELLI FONTANA, FRANCESCABRAIONE, PIETROZANONI, MARCO
On the integration of software testing and formal analysis 03 - Contributo in libro 2012 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO
An industrial case study of the effectiveness of test generators 02 - Intervento a convegno 2012 BRAIONE, PIETRODENARO, GIOVANNI +
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 02 - Intervento a convegno 2013 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 01 - Articolo su rivista 2014 BRAIONE, PIETRODENARO, GIOVANNI +
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 03 - Contributo in libro 2015 BRAIONE, PIETRODENARO, GIOVANNIRIGANELLI, OLIVIERO +
Symbolic execution of programs with heap inputs 02 - Intervento a convegno 2015 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO
A context-aware style of software design 02 - Intervento a convegno 2015 ARCELLI FONTANA, FRANCESCABRAIONE, PIETROROVEDA, RICCARDOZANONI, MARCO
JBSE: A symbolic executor for Java programs with complex heap inputs 02 - Intervento a convegno 2016 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO
Combining symbolic execution and search-based testing for programs with complex heap inputs 02 - Intervento a convegno 2017 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO +
SUSHI: A test generator for programs with complex structured inputs 02 - Intervento a convegno 2018 Braione, PietroDenaro, GiovanniPezzè, Mauro +
Design for testability of ermts applications 02 - Intervento a convegno 2019 Riboni A.Guglielmo L.Orru M.Braione P.Denaro G.
Hidden languages in a digital world: the case of sign language archives 03 - Contributo in libro 2019 Geraci, CBraione, PCecchetto, C +