Pietro Braione's user avatar
Pietro Braione's user avatar
Pietro Braione's user avatar
Pietro Braione
  • Member for 7 years, 3 months
  • Last seen more than 2 years ago
About

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.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
question
3
Aug 12, 2015