A framework for guided test case generation in constraint logic programming
From MaRDI portal
Publication:2848906
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
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
software testingconstraint logic programmingsymbolic executionguided test case generationtrace-abstraction
Cited In (9)
- Trapezoidal generalization over linear constraints
- Efficient generation of test data structures using constraint logic programming and program transformation
- Applying constraint logic programming to SQL test case generation
- A CLP heap solver for test case generation
- Towards a framework for constraint-based test case generation
- Strategies for scalable symbolic execution-driven test generation for programs
- Test case generation for object-oriented imperative languages in CLP
- Test case generation of actor systems
- Resource-Driven CLP-Based Test Case Generation
Uses Software
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)
