• HOL-TestGen

  • Referenced in 10 articles [sw17720]
  • HOL-TestGen is a is a test case generator for specification based unit testing ... HOL-TestGen is built on top of the specfication and theorem proving environment Isabelle/HOL...
  • UPF Firewall

  • Referenced in 1 article [sw28801]
  • firewall and router (middle-boxes) using HOL-TestGen. Our work focuses on modeling application level...
  • IMP++

  • Referenced in 4 articles [sw01439]
  • An extensible encoding of object-oriented data models...
  • Haskell

  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • TorX

  • Referenced in 20 articles [sw07155]
  • Timed testing with TorX. TorX is a specification...
  • GATeL

  • Referenced in 16 articles [sw07255]
  • GATeL: Automatic Test Generation from Lustre Descriptions GATeL...
  • Korat

  • Referenced in 33 articles [sw07259]
  • Korat: Automated testing based on Java predicates. This...
  • Pex

  • Referenced in 35 articles [sw07263]
  • Pex–White Box Test Generation for .NET. Pex...
  • QuickCheck

  • Referenced in 102 articles [sw07277]
  • QuickCheck: a lightweight tool for random testing of...
  • Flyspeck

  • Referenced in 123 articles [sw10277]
  • Communicating formal proofs: the case of flyspeck. We...
  • JPF-SE

  • Referenced in 12 articles [sw12038]
  • JPF-SE: a symbolic execution extension to Java...