As soon as I started reading how it worked it reminded me of Microsoft SAGE [0] It also uses guided execution to find constraints and new bugs. [0] http://rese

As soon as I started reading how it worked it reminded me of Microsoft SAGE [0] It also uses guided execution to find constraints and new bugs. [0] http://research.microsoft.com/en-us/um/people/pg/public_psfiles/cacm2012.pdf http://research.microsoft.com/en-us/um/people/pg/public_psfi...