FocalTest

swMATH6448MaRDI QIDQ18557FDOQ18557

Author name not available (Why is that?)

Described by source

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

Cited In (5)

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

This page was built for software: FocalTest