GATeL
From MaRDI portal
Software:19304
swMATH7255MaRDI QIDQ19304FDOQ19304
Author name not available (Why is that?)
Cited In (12)
- 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
- A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
- Model-Based Test Selection for Infinite-State Reactive Systems
- An Alternative to SAT-Based Approaches for Bit-Vectors
- On theorem prover-based testing
- 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
- Formal Methods for Components and Objects
This page was built for software: GATeL
