• Wolf

  • Referenced in 2 articles [sw01299]
  • Wolf -- bug hunter for concurrent software using formal...
  • Soot

  • Referenced in 26 articles [sw09122]
  • Soot - a Java bytecode optimization framework. This paper...