Korat
From MaRDI portal
Software:19308
swMATH7259MaRDI QIDQ19308FDOQ19308
Author name not available (Why is that?)
Cited In (24)
- CompoSAT: specification-guided coverage for model finding
- Verifying Whiley programs with Boogie
- White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing
- Software Error Detection through Testing and Analysis
- Title not available (Why is that?)
- Automation of broad sanity test generation
- Using abstract models for the generation of test data with a complex structure
- Tools and Algorithms for the Construction and Analysis of Systems
- Combining test case generation and runtime verification
- Title not available (Why is that?)
- Formal Methods for Components and Objects
- Formal testing for separation assurance
- Title not available (Why is that?)
- Controllable Combinatorial Coverage in Grammar-Based Testing
- How the design of JML accommodates both runtime assertion checking and formal verification
- Efficient bounded model checking of heap-manipulating programs using tight field bounds
- Title not available (Why is that?)
- On theorem prover-based testing
- A Study of Symmetry Breaking Predicates and Model Counting
- Software Model Checking: Searching for Computations in the Abstract or the Concrete
- FM 2005: Formal Methods
- State Isomorphism in Model Programs with Abstract Data Structures
- Generating constrained random data with uniform distribution
- Generating Unit Tests from Formal Proofs
This page was built for software: Korat
