Registered user since Tue 6 Mar 2018
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.
|* ICSE 2018 *||SUSHI: A Test Generator for Programs with Complex Structured Inputs|
|Show activities from other conferences|
View general profile