Korat
From MaRDI portal
Cited in
(69)- CUTE
- Symstra
- Cogent
- POOC
- IMP++
- jContractor
- veriSoft
- TATOO
- Daikon
- How the design of JML accommodates both runtime assertion checking and formal verification
- UniTESK
- ADTEST
- TestEra
- JUnit
- Pex
- Rostra
- Eclat
- Java PathFinder
- TACO
- CompoSAT: specification-guided coverage for model finding
- Efficient bounded model checking of heap-manipulating programs using tight field bounds
- Verifying Whiley programs with Boogie
- Interproc
- EasyCheck
- JPAX
- AsmL
- SpecExplorer
- JPF-SE
- JCrasher
- GanttProject
- IKOS
- scientific article; zbMATH DE number 1701771 (Why is no real title available?)
- HOL-TestGen
- Alloy*
- Controllable Combinatorial Coverage in Grammar-Based Testing
- DyTa
- State Isomorphism in Model Programs with Abstract Data Structures
- Software Error Detection through Testing and Analysis
- Ultimate Taipan
- Formal testing for separation assurance
- AGEDIS
- TGV
- scientific article; zbMATH DE number 1951185 (Why is no real title available?)
- scientific article; zbMATH DE number 1951206 (Why is no real title available?)
- scientific article; zbMATH DE number 1956607 (Why is no real title available?)
- On theorem prover-based testing
- A study of symmetry breaking predicates and model counting
- Generating constrained random data with uniform distribution
- CompoSAT
- CD2Alloy
- cddiff
- Bordeaux
- Whispec
- VERMEER
- WhyLine
- 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
- Geno
- XML-XIG
- QSYM
- Combining test case generation and runtime verification
- Tools and Algorithms for the Construction and Analysis of Systems
- FM 2005: Formal Methods
- Formal Methods for Components and Objects
- JBSE
- StarFinder
- Using abstract models for the generation of test data with a complex structure
- Automation of broad sanity test generation
This page was built for software: Korat
