Cited in
(27)- An alternative to SAT-based approaches for bit-vectors
- On theorem prover-based testing
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
- Exploiting binary floating-point representations for constraint propagation
- Tools and Algorithms for the Construction and Analysis of Systems
- A first step in the design of a formally verified constraint-based testing tool: FocalTest
- CPBPV
- Formal Methods for Components and Objects
- Lutess
- IMP++
- AGATHA
- FocalTest
- ATGen
- Euclide
- SANTE
- STG
- FloPSy
- AUSTIN
- Model-Based Test Selection for Infinite-State Reactive Systems
- OSMOSE
- TCAS
- Jessie
- BINSEC/SE
- scientific article; zbMATH DE number 1706341 (Why is no real title available?)
- Formal Approaches to Software Testing
- Symbolic Model-based Test Selection
- Sharpening constraint programming approaches for bit-vector theory
This page was built for software: GATeL
