| 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 | 207 | 2012 |
| On calculi for context-aware coordination P Braione, GP Picco Coordination Models and Languages, 38-54, 2004 | 39 | 2004 |
| 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 | 38 | 2017 |
| 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 | 36 | 2010 |
| 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 | 31 | 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 (2), 311-333, 2014 | 28 | 2014 |
| 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 | 27 | 2011 |
| 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 | 26 | 2015 |
| 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 | 23 | 2006 |
| 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 | 21 | 2016 |
| 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 | 20 | 2001 |
| 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 | 10 | 2018 |
| Verifying LTL Properties of Bytecode with Symbolic Execution P Braione, G Denaro, M Pezze Bytecode 2008, 2008 | 7 | 2008 |
| 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 | 4 | 2012 |
| A context-aware style of software design FA Fontana, P Braione, R Roveda, M Zanoni 2015 IEEE/ACM 2nd International Workshop on Context for Software Development …, 2015 | 3 | 2015 |
| 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 | 3 | 2015 |
| On the Integration of Software Testing and Formal Analysis P Braione, G Denaro, M Pezze Empirical Software Engineering and Verification, 158-193, 2012 | 2 | 2012 |
| Facilitating program performance profiling via evolutionary symbolic execution A Aquino, P Braione, G Denaro, P Salza Software Testing, Verification and Reliability 30 (2), e1719, 2020 | 1 | 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 | 1 | 2019 |
| 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 | 1 | 2002 |
Giovanni DenaroUniversity of Milano-BicoccaVerified email at disco.unimib.it
