The following pages link to Symstra (Q14036):
Displaying 11 items.
- Simple linear string constraints (Q469349) (← links)
- Automation of broad sanity test generation (Q840076) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- The dependence condition graph: precise conditions for dependence between program points (Q1749251) (← links)
- Symbolic execution formally explained (Q1982639) (← links)
- State Isomorphism in Model Programs with Abstract Data Structures (Q3614845) (← links)
- A Study of Symmetry Breaking Predicates and Model Counting (Q5039506) (← links)
- Generating Unit Tests from Formal Proofs (Q5423869) (← links)
- White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing (Q5423871) (← links)
- Software Model Checking: Searching for Computations in the Abstract or the Concrete (Q5429306) (← links)
- Model Checking Software (Q5899042) (← links)