Smart test data generators via logic programming

DOI10.4230/LIPICS.ICLP.2011.139MaRDI QIDQ2909153zbMATH OpenOpenAlexFDO

Authors Lukas Bulwahn

Publication date 29 August 2012

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

zbMATH Keywords

functional programmingIsabellelogic programmingspecification-based testing

Mathematics Subject Classification ID

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

Recommendations

• Efficient generation of test data structures using constraint logic programming and program transformation
• Automatically generating test data from a Boolean specification
• scientific article; zbMATH DE number 4157865

Cited in

(9)

• Smart testing of functional programs in Isabelle
• Tests and proofs for custom data generators
• Formal Approaches to Software Testing
• The new Quickcheck for Isabelle. Random, exhaustive and symbolic testing under one roof
• On theorem prover-based testing
• Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
• scientific article; zbMATH DE number 5997244 (Why is no real title available?)
• Automatically generating counterexamples to naive free theorems
• Automatic proof and disproof in Isabelle/HOL

Describes a project that uses

Uses Software

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

This page was built for publication: Smart test data generators via logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2909153)