Home
Posts
Publications
My setup
Contact
About
Posts tagged with "concolic execution"
JPF-Doop is dead, long live JDoop!
Presented JPF-Doop at Java Pathfinder Workshop 2013