Symstra

swMATH1296MaRDI QIDQ14036FDOQ14036

Author name not available (Why is that?)

Described by source

• Tools and Algorithms for the Construction and Analysis of Systems

Cited In (11)

• Symbolic execution formally explained
• 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
• Simple linear string constraints
• A Study of Symmetry Breaking Predicates and Model Counting
• 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

This page was built for software: Symstra