Smart test data generators via logic programming

DOI10.4230/LIPICS.ICLP.2011.139zbMATH Open1245.68168OpenAlexW2240321143MaRDI QIDQ2909153FDOQ2909153

Authors: Lukas Bulwahn 

Publication date: 29 August 2012

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

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

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)

Cited In (9)

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

Uses Software

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

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)