Cited in
(28)- Integration of verification methods for program systems
- IdentityHashMap
- Simple linear string constraints
- Model Checking Software
- Symbolic execution formally explained
- CUTE
- POOC
- UniTESK
- DART
- Eclat
- Korat
- JUnit
- Rostra
- TestEra
- Java PathFinder
- NModel
- Kaluza
- JPF-SE
- JCrasher
- Snugglebug
- STP
- White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing
- The dependence condition graph: precise conditions for dependence between program points
- Software Model Checking: Searching for Computations in the Abstract or the Concrete
- Generating Unit Tests from Formal Proofs
- A study of symmetry breaking predicates and model counting
- State Isomorphism in Model Programs with Abstract Data Structures
- Automation of broad sanity test generation
This page was built for software: Symstra
