Cited in
(52)- A study of symmetry breaking predicates and model counting
- CompoSAT: specification-guided coverage for model finding
- A taxonomy of exact methods for partial Max-SAT
- Specification-based program repair using SAT
- Automation of broad sanity test generation
- Automata-based verification of programs with tree updates
- Theory and Applications of Satisfiability Testing
- Combining test case generation and runtime verification
- JBSE
- Relational and Kleene-Algebraic Methods in Computer Science
- Alloy*: a general-purpose higher-order relational constraint solver
- scientific article; zbMATH DE number 2090140 (Why is no real title available?)
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System
- Testing-based formal verification for theorems and its application in software specification verification
- CUTE
- Alloy
- Symstra
- TASC
- QingTing1
- UniTESK
- Kodkod
- Eclat
- Korat
- JUnit
- Pex
- Rostra
- TACO
- Interproc
- Alcoa
- Jerusat
- JCrasher
- GanttProject
- IKOS
- Alloy*
- DyTa
- margrave
- Ultimate Taipan
- TGV
- CRN++
- Bordeaux
- CD2Alloy
- cddiff
- CompoSAT
- Geno
- VERMEER
- Whispec
- WhyLine
- DynAlloy
- QSYM
- StarFinder
- A logical approach to data-aware automated sequence generation
- Generating Unit Tests from Formal Proofs
This page was built for software: TestEra
