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