| 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 | 281 | 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 | 60 | 2017 |
| On calculi for context-aware coordination P Braione, GP Picco Coordination Models and Languages, 38-54, 2004 | 40 | 2004 |
| 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 | 39 | 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 | 37 | 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 | 36 | 2015 |
| 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 | 33 | 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 |
| Enhancing structural software coverage by incrementally computing branch executability M Baluda, P Braione, G Denaro, M Pezzè Software Quality Journal 19, 725-751, 2011 | 28 | 2011 |
| 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 |
| 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 | 25 | 2001 |
| 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 | 24 | 2021 |
| 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 | 22 | 2018 |
| Verifying LTL Properties of Bytecode with Symbolic Execution P Braione, G Denaro, M Pezze Bytecode 2008, 2008 | 8 | 2008 |
| 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 | 5 | 2020 |
| 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 |
| SUSHI and TARDIS at the SBST2019 tool competition P Braione, G Denaro 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing …, 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 |
| 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 | 3 | 2023 |
| 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 | 3 | 2019 |
Giovanni DenaroUniversity of Milano-BicoccaVerified email at disco.unimib.it
