FocalTest

swMATH6448MaRDI QIDQ18557FDOQ18557

Author name not available (Why is that?)

Official website: http://cedric.cnam.fr/fichiers/RC1925.pdf

Described by source

• A first step in the design of a formally verified constraint-based testing tool: FocalTest

Cited In (10)

• Smart testing of functional programs in Isabelle
• Smart test data generators via logic programming
• Tests and proofs for custom data generators
• Euclide
• SmallCheck
• QuickChick
• Luck
• Mathematical Components
• A certified constraint solver over finite domains
• Tests and Proofs for Enumerative Combinatorics

This page was built for software: FocalTest