Registered user since Tue 6 Mar 2018

Name: Pietro Braione

Affiliation: University of Milano-Bicocca, Italy

ISSTA 2017 Activities

• Author of Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs within the Technical Papers-track in ISSTA 2017
• Show activities from other conferences