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 | 291 | 2012 |
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 | 71 | 2017 |
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 | 44 | 2016 |
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 | 40 | 2010 |
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 | 39 | 2015 |
On calculi for context-aware coordination P Braione, GP Picco Coordination Models and Languages, 38-54, 2004 | 39 | 2004 |
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 | 35 | 2013 |
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 | 30 | 2014 |
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 | 29 | 2021 |
Enhancing structural software coverage by incrementally computing branch executability M Baluda, P Braione, G Denaro, M Pezzè Software Quality Journal 19, 725-751, 2011 | 29 | 2011 |
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 | 26 | 2001 |
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 | 25 | 2006 |
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 | 24 | 2018 |
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 | 8 | 2023 |
Verifying LTL Properties of Bytecode with Symbolic Execution P Braione, G Denaro, M Pezze Bytecode 2008, 2008 | 8 | 2008 |
SUSHI and TARDIS at the SBST2019 tool competition P Braione, G Denaro 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing …, 2019 | 6 | 2019 |
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 | 5 | 2012 |
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 | 4 | 2020 |
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 | 4 | 2019 |
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 | 4 | 2015 |