A symbolic execution engine that can find errors that require many iterations through loops.
Primary LanguageJava