http://sites.google.com/site/pietrobraione [email protected]
Università degli Studi di Milano-Bicocca Milan, Italy I am an associate professor working in the field of automated software analysis and test generation.
Pietro Braione
A symbolic Java virtual machine for program analysis, verification and test generation
pietrobraione
The SUSHI test case generator
