GATeL
From MaRDI portal
swMATH7255MaRDI QIDQ19304FDOQ19304
Author name not available (Why is that?)
Official website: http://www.ercim.eu/publication/Ercim_News/enw58/blanc.html
Cited In (27)
- Title not available (Why is that?)
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
- Exploiting binary floating-point representations for constraint propagation
- An alternative to SAT-based approaches for bit-vectors
- Model-Based Test Selection for Infinite-State Reactive Systems
- CPBPV
- Lutess
- IMP++
- AGATHA
- FocalTest
- ATGen
- Euclide
- SANTE
- STG
- On theorem prover-based testing
- FloPSy
- AUSTIN
- OSMOSE
- TCAS
- Jessie
- BINSEC/SE
- Symbolic Model-based Test Selection
- Formal Approaches to Software Testing
- Tools and Algorithms for the Construction and Analysis of Systems
- Sharpening constraint programming approaches for bit-vector theory
- A first step in the design of a formally verified constraint-based testing tool: FocalTest
- Formal Methods for Components and Objects
This page was built for software: GATeL
