Stack Overflow
Stack Overflow

Pietro Braione
1,123
reputation
8
22
  • Milano, Italy
  • Member since September 17 2010
  • 79 profile views
  • Last seen Aug 26 '23 at 21:04

I am a researcher working on automated software testing, analysis and verification. One of the projects I am currently working is JBSE, a JVM that can do symbolic execution of Java bytecode.