FocalTest

swMATH6448MaRDI QIDQ18557

No author found.

Described by source

• A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest

Related Items (5)

Smart Testing of Functional Programs in Isabelle ⋮ Tests and proofs for custom data generators ⋮ A Certified Constraint Solver over Finite Domains ⋮ Tests and Proofs for Enumerative Combinatorics ⋮ Smart test data generators via logic programming

This page was built for software: FocalTest