Symstra
From MaRDI portal
Software:14036
No author found.
Related Items (11)
A Study of Symmetry Breaking Predicates and Model Counting ⋮ Automation of broad sanity test generation ⋮ Simple linear string constraints ⋮ Symbolic execution formally explained ⋮ The dependence condition graph: precise conditions for dependence between program points ⋮ 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 ⋮ State Isomorphism in Model Programs with Abstract Data Structures ⋮ Model Checking Software ⋮ Integration of verification methods for program systems
This page was built for software: Symstra
