swMATH7258MaRDI QIDQ19307FDOQ19307
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=872551
Cited In (48)
- StarFinder
- 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
- Theory and Applications of Satisfiability Testing
- Automata-based verification of programs with tree updates
- Relational and Kleene-Algebraic Methods in Computer Science
- Combining test case generation and runtime verification
- Alloy*: a general-purpose higher-order relational constraint solver
- Title not available (Why is that?)
- 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
- 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
- JBSE
- A logical approach to data-aware automated sequence generation
- Generating Unit Tests from Formal Proofs
- A study of symmetry breaking predicates and model counting
This page was built for software: TestEra
