Pietro Braione
TitleCited byYear
Automatic detection of bad smells in code: An experimental assessment.
FA Fontana, P Braione, M Zanoni
Journal of Object Technology 11 (2), 5:1-38, 2012
1432012
On calculi for context-aware coordination
P Braione, GP Picco
Coordination Models and Languages, 38-54, 2004
362004
Structural coverage of feasible code
M Baluda, P Braione, G Denaro, M Pezzè
Proceedings of the 5th Workshop on Automation of Software Test, 59-66, 2010
342010
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization
P Braione, G Denaro, M Pezzè
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
232013
Enhancing structural software coverage by incrementally computing branch executability
M Baluda, P Braione, G Denaro, M Pezzè
Software quality journal 19 (4), 725-751, 2011
232011
Classification methods and inductive learning rules: What we may learn from theory
C Alippi, P Braione
IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and …, 2006
222006
Combining symbolic execution and search-based testing for programs with complex heap inputs
P Braione, G Denaro, A Mattavelli, M Pezzè
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
212017
Symbolic execution of programs with heap inputs
P Braione, G Denaro, M Pezzè
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
192015
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component
P Braione, G Denaro, A Mattavelli, M Vivanti, A Muhammad
Software quality journal 22 (2), 311-333, 2014
192014
A methodological approach to multisensor classification for innovative laser material processing units
C Alippi, P Braione, V Piuri, F Scotti
IMTC 2001. Proceedings of the 18th IEEE Instrumentation and Measurement …, 2001
182001
JBSE: a symbolic executor for Java programs with complex heap inputs
P Braione, G Denaro, M Pezzè
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
122016
Verifying LTL Properties of Bytecode with Symbolic Execution
P Braione, G Denaro, M Pezze
Bytecode 2008, 2008
72008
SUSHI: a test generator for programs with complex structured inputs
P Braione, G Denaro, A Mattavelli, M Pezzè
2018 IEEE/ACM 40th International Conference on Software Engineering …, 2018
62018
An industrial case study of the effectiveness of test generators
P Braione, G Denaro, A Mattavelli, M Vivanti, A Muhammad
2012 7th International Workshop on Automation of Software Test (AST), 50-56, 2012
42012
A context-aware style of software design
FA Fontana, P Braione, R Roveda, M Zanoni
Proceedings of the Second International Workshop on Context for Software …, 2015
22015
Static/dynamic test case generation for software upgrades via ARC-B and Deltatest
P Braione, G Denaro, O Riganelli, M Baluda, A Muhammad
Validation of Evolving Software, 147-184, 2015
22015
An eclipse plug-in for code smell detection
F ARCELLI FONTANA, P Braione, R Roveda, M Zanoni
Eclipse-IT 2012-The VII Workshop of the Italian Eclipse Community, 2012
22012
On the Integration of Software Testing and Formal Analysis
P Braione, G Denaro, M Pezze
Empirical Software Engineering and Verification, 158-193, 2012
22012
Classification methods, reduced datasets and quality analysis applications
C Alippi, P Braione
2004 IEEE International Conference onComputational Intelligence for …, 2004
12004
A semantical and implementative comparison of file sharing peer-to-peer applications
P Braione
Proceedings. Second International Conference on Peer-to-Peer Computing,, 165-166, 2002
12002
The system can't perform the operation now. Try again later.
Articles 1–20