A framework for guided test case generation in constraint logic programming

DOI10.1007/978-3-642-38197-3_12zbMATH Open1394.68056OpenAlexW7243339MaRDI QIDQ2848906FDOQ2848906

Authors José Miguel Rojas, Miguel Gómez-Zamalloa

Publication date 13 September 2013

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-38197-3_12

zbMATH Keywords

software testingconstraint logic programmingsymbolic executionguided test case generationtrace-abstraction

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Towards a framework for constraint-based test case generation
• Test case generation for object-oriented imperative languages in CLP
• Efficient generation of test data structures using constraint logic programming and program transformation
• Concolic execution and test case generation in Prolog
• Applying constraint logic programming to SQL test case generation

Cited in

(9)

• Trapezoidal generalization over linear constraints
• Efficient generation of test data structures using constraint logic programming and program transformation
• Test case generation for object-oriented imperative languages in CLP
• Test case generation of actor systems
• Strategies for scalable symbolic execution-driven test generation for programs
• Applying constraint logic programming to SQL test case generation
• Towards a framework for constraint-based test case generation
• A CLP heap solver for test case generation
• Resource-Driven CLP-Based Test Case Generation

Describes a project that uses

Uses Software

• jPET
• net.datastructures

This page was built for publication: A framework for guided test case generation in constraint logic programming

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