Pietro Braione's user avatar
Pietro Braione's user avatar
Pietro Braione's user avatar
Pietro Braione
  • Member for 38 days
  • Last seen more than a week 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.
5
bronze badges
Top tags
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %