BRAIONE, PIETRO
BRAIONE, PIETRO
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
On Calculi for Context-Aware Coordination
2004 Braione, P; Picco, G
Classification methods, reduced datasets and quality analysis applications
2004 Alippi, C; Braione, P
Classification methods and inductive learning rules: What we may learn from theory
2006 Alippi, C; Braione, P
Verifying LTL Properties of Bytecode with Symbolic Execution
2008 Braione, P; Denaro, G; Krena, B; Pezze', M
Structural Coverage of Feasible Code
2010 Baluda, M; Braione, P; Denaro, G; Pezze', M
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability
2011 Baluda, M; Braione, P; Denaro, G; Pezze', M
An Eclipse Plug-in for Code Smell Detection
2012 ARCELLI FONTANA, F; Braione, P; Roveda, R; Zanoni, M
An industrial case study of the effectiveness of test generators
2012 Braione, P; Denaro, G; Mattavelli, A; Vivanti, M; Muhammad, A
Automatic detection of bad smells in code: An experimental assessment
2012 ARCELLI FONTANA, F; Braione, P; Zanoni, M
On the integration of software testing and formal analysis
2012 Braione, P; Denaro, G; Pezze', M
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization
2013 Braione, P; Denaro, G; Pezze', M
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component
2014 Braione, P; Denaro, G; Mattavelli, A; Vivanti, M; Muhammad, A
A context-aware style of software design
2015 ARCELLI FONTANA, F; Braione, P; Roveda, R; Zanoni, M
Symbolic execution of programs with heap inputs
2015 Braione, P; Denaro, G; Pezze', M
Static/dynamic test case generation for software upgrades via ARC-B and deltatest
2015 Braione, P; Denaro, G; Riganelli, O; Baluda, M; Muhammad, A
JBSE: A symbolic executor for Java programs with complex heap inputs
2016 Braione, P; Denaro, G; Pezze', M
Combining symbolic execution and search-based testing for programs with complex heap inputs
2017 Braione, P; Denaro, G; Mattavelli, A; Pezze', M
SUSHI: A test generator for programs with complex structured inputs
2018 Braione, P; Denaro, G; Mattavelli, A; Pezzè, M
SUSHI and TARDIS at the SBST2019 Tool Competition
2019 Braione, P; Denaro, G
Hidden languages in a digital world: the case of sign language archives
2019 Geraci, C; Braione, P; Cecchetto, C; Quer, J; Pfau, P