Pietro Braione has asked 8
questions and find answers to 2
problems.
Stats
66 EtPoint
4 Vote count
8 questions
2 answers
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.
Menu
