GATeL
From MaRDI portal
Software:19304
No author found.
Related Items (12)
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Formal Approaches to Software Testing ⋮ Unnamed Item ⋮ Model-Based Test Selection for Infinite-State Reactive Systems ⋮ On theorem prover-based testing ⋮ An Alternative to SAT-Based Approaches for Bit-Vectors ⋮ Sharpening constraint programming approaches for bit-vector theory ⋮ Symbolic Model-based Test Selection ⋮ Exploiting Binary Floating-Point Representations for Constraint Propagation ⋮ Formal Methods for Components and Objects ⋮ Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
This page was built for software: GATeL
