Dear All, May I know any Soot related tools or components, that implement a concolic testing for Java? Best Regards,Ding Sun -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120404/8cf188d5/attachment.html