Test case generation for object-oriented imperative languages in CLP

DOI10.1017/S1471068410000347zbMath1209.68093arXiv1007.5195OpenAlexW2130318821MaRDI QIDQ3585175

Miguel Gómez-Zamalloa, Germán Puebla, Elvira Albert

Publication date: 19 August 2010

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1007.5195

zbMATH Keywords

constraint logic programmingsymbolic executiontest case generation

Mathematics Subject Classification ID

Logic programming (68N17) Theory of software (68N99)

Related Items (5)

An Integrated Approach to Assertion-Based Random Testing in Prolog ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Concolic testing in logic programming ⋮ A CLP heap solver for test case generation ⋮ A framework for computing finite SLD trees

Uses Software

• Pex
• ATGen

Cites Work

• Automatic software model checking via constraint logic
• Test Data Generation of Bytecode by CLP Partial Evaluation
• Symbolic execution and program testing
• Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates

This page was built for publication: Test case generation for object-oriented imperative languages in CLP