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