Follow
Pietro Braione
Title
Cited by
Cited by
Year
Automatic detection of bad smells in code: An experimental assessment.
FA Fontana, P Braione, M Zanoni
J. Object Technol. 11 (2), 5:1-38, 2012
3002012
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
722017
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
502016
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
412010
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
402015
On calculi for context-aware coordination
P Braione, GP Picco
Coordination Models and Languages, 38-54, 2004
392004
A survey of field-based testing techniques
A Bertolino, P Braione, GD Angelis, L Gazzola, F Kifetew, L Mariani, ...
ACM Computing Surveys (CSUR) 54 (5), 1-39, 2021
382021
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
362013
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, 311-333, 2014
322014
Enhancing structural software coverage by incrementally computing branch executability
M Baluda, P Braione, G Denaro, M Pezzè
Software Quality Journal 19, 725-751, 2011
302011
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
262001
SUSHI: a test generator for programs with complex structured inputs
P Braione, G Denaro, A Mattavelli, M Pezzè
Proceedings of the 40th international conference on software engineering …, 2018
252018
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
252006
Automatically generating test cases for safety-critical software via symbolic execution
E Kurian, D Briola, P Braione, G Denaro
Journal of Systems and Software 199, 111629, 2023
132023
Verifying LTL Properties of Bytecode with Symbolic Execution
P Braione, G Denaro, M Pezze
Bytecode 2008, 2008
82008
SUSHI and TARDIS at the SBST2019 tool competition
P Braione, G Denaro
2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing …, 2019
62019
Design for testability of ERMTS applications
A Riboni, L Guglielmo, M Orrù, P Braione, G Denaro
2019 IEEE International Symposium on Software Reliability Engineering …, 2019
52019
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
52012
Hidden languages in a digital world: The case of sign language archives
C Geraci, R Pfau, P Braione, C Cecchetto, J Quer
Gli archivi sonori al crocevia tra scienze fonetiche, informatica umanistica …, 2020
42020
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
42015
The system can't perform the operation now. Try again later.
Articles 1–20