Smart test data generators via logic programming

DOI10.4230/LIPIcs.ICLP.2011.139zbMath1245.68168OpenAlexW2240321143MaRDI QIDQ2909153

Lukas Bulwahn

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_8173.html

zbMATH Keywords

logic programmingfunctional programmingIsabellespecification-based testing

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Automatic Proof and Disproof in Isabelle/HOL

Uses Software

• Isabelle
• ML
• OCaml
• FocalTest
• QuickCheck
• SmallCheck