Korat
From MaRDI portal
Software:19308
No author found.
Related Items (24)
A Study of Symmetry Breaking Predicates and Model Counting ⋮ Using abstract models for the generation of test data with a complex structure ⋮ Automation of broad sanity test generation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Formal testing for separation assurance ⋮ Generating constrained random data with uniform distribution ⋮ On theorem prover-based testing ⋮ FM 2005: Formal Methods ⋮ 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 ⋮ Combining test case generation and runtime verification ⋮ How the design of JML accommodates both runtime assertion checking and formal verification ⋮ CompoSAT: specification-guided coverage for model finding ⋮ State Isomorphism in Model Programs with Abstract Data Structures ⋮ Efficient bounded model checking of heap-manipulating programs using tight field bounds ⋮ Software Error Detection through Testing and Analysis ⋮ Formal Methods for Components and Objects ⋮ Controllable Combinatorial Coverage in Grammar-Based Testing ⋮ Verifying Whiley programs with Boogie
This page was built for software: Korat
