FocalTest

MaRDI QIDQ18557swMATHFDO

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)

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

This page was built for software: FocalTest