Automatic Generation of Test Inputs for Mercury

DOI10.1007/978-3-642-00515-2_6zbMath1185.68154OpenAlexW1574958847MaRDI QIDQ3617431

Tom Schrijvers, François Degrave, Wim Vanhoof

Publication date: 24 March 2009

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00515-2_6

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Related Items (1)

Concolic testing in logic programming

Uses Software

• Haskell
• QuickCheck
• Java PathFinder
• Mercury
• DPPD

Cites Work

• Unnamed Item
• Unnamed Item
• A polymorphic type system for Prolog
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Towards a Normal Form for Mercury Programs

This page was built for publication: Automatic Generation of Test Inputs for Mercury