• 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...

• Isabelle/HOL

• Referenced in 1017 articles [sw01569]
• Isabelle is a generic proof assistant. It allows...

• 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...

• Java PathFinder

• Referenced in 123 articles [sw07658]
• Model checking JAVA programs using JAVA PathFinder. The...

• Flyspeck

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

• SpecExplorer

• Referenced in 18 articles [sw11366]
• Model-based Testing with SpecExplorer. Spec Explorer is...

• JPF-SE

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

• Symbolic automata

• Referenced in 5 articles [sw13262]
• Symbolic automata: The toolkit. The symbolic automata toolkit...