Pietro Braione's user avatar
Pietro Braione's user avatar
Pietro Braione's user avatar
Pietro Braione
  • Member for 1 year, 6 months
  • Last seen more than a month ago
Stats
212
reputation
1k
reached
3
answers
8
questions
Loading…
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.
1
silver badge
9
bronze badges
3
Score
10
Posts
91
Posts %
2
Score
3
Posts
27
Posts %
1
Score
3
Posts
27
Posts %
0
Score
2
Posts
18
Posts %
0
Score
1
Posts
9
Posts %
0
Score
1
Posts
9
Posts %
Top posts
View all questions and answers