Korat

swMATH7259MaRDI QIDQ19308FDOQ19308

Author name not available (Why is that?)

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

Cited In (69)

• StarFinder
• 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
• CUTE
• Title not available (Why is that?)
• Cogent
• IMP++
• POOC
• jContractor
• Symstra
• veriSoft
• TATOO
• Daikon
• UniTESK
• ADTEST
• Eclat
• JUnit
• Pex
• Rostra
• TestEra
• On theorem prover-based testing
• Java PathFinder
• TACO
• Interproc
• EasyCheck
• JPAX
• AsmL
• SpecExplorer
• JPF-SE
• JCrasher
• GanttProject
• IKOS
• HOL-TestGen
• Alloy*
• DyTa
• Ultimate Taipan
• AGEDIS
• TGV
• Software Model Checking: Searching for Computations in the Abstract or the Concrete
• Bordeaux
• CD2Alloy
• cddiff
• CompoSAT
• Geno
• VERMEER
• Whispec
• WhyLine
• XML-XIG
• QSYM
• JBSE
• 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