swMATH1296MaRDI QIDQ14036FDOQ14036
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/978-3-540-31980-1_24
Cited In (26)
- Symbolic execution formally explained
- IdentityHashMap
- White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing
- Automation of broad sanity test generation
- The dependence condition graph: precise conditions for dependence between program points
- Model Checking Software
- UniTESK
- DART
- Eclat
- Korat
- JUnit
- Rostra
- TestEra
- Simple linear string constraints
- Java PathFinder
- NModel
- Kaluza
- JPF-SE
- JCrasher
- Snugglebug
- STP
- Software Model Checking: Searching for Computations in the Abstract or the Concrete
- Integration of verification methods for program systems
- State Isomorphism in Model Programs with Abstract Data Structures
- Generating Unit Tests from Formal Proofs
- A study of symmetry breaking predicates and model counting
This page was built for software: Symstra
