publications

The best time to write a story is yesterday. The next best time is today.

(R. A. Lafferty, It's Down the Slippery Cellar Stairs)

2023

E. Kurian, D. Briola, P. Braione, G. Denaro. Automatically generating test cases for safety-critical software via symbolic execution. In Journal of Systems and Software, Volume 199, 2023. doi:10.1016/j.jss.2023.111629.

E. Kurian, P. Braione, D. Briola, M. Modonato, G. Denaro. Automated Test Case Generation for Safety-Critical Software in SCADE. In Proceedings of 45th ACM International Conference on Software Engineering (ICSE 2023), Software Engineering In Practice (SEIP) track. doi:10.1109/ICSE-SEIP58684.2023.00049.

2021

A. Bertolino, P. Braione, G. De Angelis, L. Gazzola, F. Kifetew, L. Mariani, M. Orrù, M. Pezzè, R. Pietrantuono, S. Russo, P. Tonella. A survey of field-based testing techniques. In: ACM Computing Surveys, 54(5). May 2021. doi:10.1145/3447240.

2020

A. Aquino, P. Braione, G. Denaro, P. Salza. Facilitating program performance profiling via evolutionary symbolic execution. In Software: Testing, Verification and Reliability, 30(2). March 2020. doi:10.1002/stvr.1719.

2019

P. Braione, G. Denaro. SUSHI and TARDIS at the SBST2019 Tool Competition. In Proceedings 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing (SBST 2019), pp. 25-28. doi:10.1109/SBST.2019.00016.

A. Riboni, L. Guglielmo, M. Orrù, P. Braione, G. Denaro. Design for testability of ERMTS applications. In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 128-136. doi:10.1109/ISSREW.2019.00062.

2018

P. Braione, G. Denaro, A. Mattavelli, M. Pezzè. SUSHI: A Test Generator for Programs with Complex Structured Inputs. In Companion Proceedings of 40th International Conference on Software Engineering (ICSE 2018), pp. 21-24. doi:10.1145/3183440.3183472.

2017

P. Braione, G. Denaro, A. Mattavelli, M. Pezzè. Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs. In Proceedings of the 2017 International Symposium on Software Testing and Analysis (ISSTA 2017), pp. 90-101. doi:10.1145/3092703.3092715, artifact.

2016

P. Braione, G. Denaro, M. Pezzè. JBSE: a symbolic executor for Java programs with complex heap inputs. In Proceedings of the 2016 ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), pp 1018-1022. doi:10.1145/2950290.2983940, ACM Author-Izer, demonstration package.

2015

P. Braione, G. Denaro, M. Pezzè. Symbolic Execution of Programs with Heap Inputs. In Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015), pp 602-613. doi:10.1145/2786805.2786842, ACM Author-Izer, replication package. 

P. Braione, G. Denaro, O. Riganelli, M. Baluda, A. Muhammad. Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest. In Validation of Evolving Software, pp. 147-184. Springer, 2015. doi:10.1007/978-3-319-10623-6_11.

F. Arcelli Fontana, P. Braione, R. Roveda, M. Zanoni. A Context-Aware Style of Software Design. In Proceedings of the 2nd International Workshop on Context for Software Development (CSD 2015), pp. 15-19. doi:10.1109/CSD.2015.11, pre.

2014

P. Braione, G. Denaro, A. Mattavelli, M. Vivanti, A. Muhammad. Software testing with code-based test generators: Data and lessons learned from a case study with an industrial software component. In Software Quality Journal, 22(2), pp. 311-333. June 2014. doi:10.1007/s11219-013-9207-1, pre.

2013

P. Braione, G. Denaro, M. Pezzè. Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization. In Proceedings of the 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013), pp 411-421. doi:10.1145/2491411.2491433, ACM Author-Izer, replicability package.

2012

F. Arcelli Fontana, P. Braione, M. Zanoni. Automatic Detection of Bad Smells in Code: An Experimental Assessment. In Journal of Object Technology, 11(2), pp 5:1-38. August 2012. doi:10.5381/jot.2012.11.2.a5.

F. Arcelli Fontana, P. Braione, R. Roveda, M. Zanoni. An Eclipse Plug-in for Code Smell Detection. In Proceedings of the 7th Workshop of the Italian Eclipse Community (Eclipse-IT 2012). September 2012.

P. Braione, G. Denaro, A. Mattavelli, M. Vivanti, A. Muhammad. An Industrial Case Study of the Effectiveness of Test Generators. In Proceedings of the 7th International Workshop on Automation of Software Testing (AST 2012). doi:10.1109/IWAST.2012.6228990, pre.

P. Braione, G. Denaro, M. Pezzè. On the Integration of Software Testing and Program Analysis. In Empirical Software Engineering and Verification, Lecture Notes in Computer Science vol. 7007, pp. 158-193, Springer. 2012. doi:10.1007/978-3-642-25231-0_4, pre.

2011

M. Baluda, P. Braione, G. Denaro, M. Pezzè. Enhancing Structural Software Coverage by Incrementally Computing Branch Executability. In Software Quality Journal, 19(4), pp. 725-751, Springer. December 2011. doi:10.1007/s11219-011-9150-y, pre.

2010

M. Baluda, P. Braione, G. Denaro and M. Pezzè. Structural Coverage of Feasible Code. In Proceedings of the 5th International Workshop on Automation of Software Testing (AST 2010). doi:10.1145/1808266.1808275, ACM Author-Izer.

2008

P. Braione, G. Denaro, B. Krena and M. Pezzè. Verifying LTL Properties of Bytecode with Symbolic Execution. In Proceedings of the 3rd Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2008). pre.

2006

C. Alippi and P. Braione. Classification Methods and Inductive Learning Rules: What We May Learn from Theory. In IEEE Transactions on Systems, Man and Cybernetics, 36(5), pp. 649-655, IEEE. October 2006. doi:10.1109/TSMCC.2005.855508, pre.

2004

P. Braione. On Calculi for Context-Aware Systems. Submitted in partial fulfillment of the requirements for the degree of Ph.D. post, bibtex.

P. Braione and G. P. Picco. On Calculi for Context-Aware Coordination. In Proceedings of the 6th International Conference on Coordination Models and Languages (COORDINATION 2004), Lecture Notes in Computer Science vol. 2949, pp. 38-54, Springer. February 2004. doi:10.1007/978-3-540-24634-3_6, pre.

C. Alippi and P. Braione. Classification Methods, Reduced Datasets and Quality Analysis Applications. In Proceedings of the IEEE International Conference on Computational Intelligence for Measurement Systems and Applications (CIMSA 2004). doi:10.1109/CIMSA.2004.1397246, pre.

2002

P. Braione. A Semantical and Implementative Comparison of File Sharing Peer-to-peer Applications. In Proceedings of the Second International Conference on Peer-to-peer Computing (P2P 2002), pp. 165-166. September 2002. doi:10.1109/PTP.2002.1046327, pre.

P. Braione. Statistical Properties for Multiparadigm Pattern Recognition. Technical report 2002.34, DEI, Politecnico di Milano. September 2002. pre, bibtex.

2001

C. Alippi, P. Braione, V. Piuri, and F. Scotti. A Methodological Approach to Multisensor Classification for Innovative Laser Material Processing Units. In Proceedings of the 18th IEEE Instrumentation and Measurement Technology Conference (IMTC 2001), pp. 1762-1767. May 2001. doi:10.1109/IMTC.2001.929503, pre.