Korat

swMATH7259MaRDI QIDQ19308FDOQ19308

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=566191

Cited In (30)

• 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?)
• Cogent
• IMP++
• On theorem prover-based testing
• Interproc
• EasyCheck
• JCrasher
• HOL-TestGen
• 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
• A study of symmetry breaking predicates and model counting

This page was built for software: Korat