Pietro Braione

Registered user since Tue 6 Mar 2018

Name:Pietro Braione

Pietro Braione received the Dr. Eng. degree in computer science engineering in 2000 and the Ph.D. degree in information technology in 2004, both from Politecnico di Milano (Italy). Since 2007 he is a fulltime researcher at University of Milano-Bicocca. His research interests include formal software verification and analysis, and software testing.

Affiliation:University of Milano-Bicocca
Research interests:Software Analysis, Software Verification, Software Testing


ICSE 2023 Author of Automated Test Case Generation for Safety-Critical Software in Scade within the SEIP - Software Engineering in Practice-track
* ICSE 2018 * Author of SUSHI: A Test Generator for Programs with Complex Structured Inputs within the DEMO - Demonstrations -track
ISSTA 2017 Author of Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs within the Technical Papers-track