Applying constraint logic programming to SQL test case generation

DOI10.1007/978-3-642-12251-4_15MaRDI QIDQ3558339zbMATH OpenOpenAlexWikidataFDO

Authors Y. García-Ruiz, F. Sáenz-Pérez, Rafael Caballero

Publication date 4 May 2010

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-12251-4_15

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• Towards a framework for constraint-based test case generation
• Automatic generation of test data for relational queries
• Qex: symbolic SQL query explorer
• A framework for guided test case generation in constraint logic programming
• Efficient generation of test data structures using constraint logic programming and program transformation

Cited in

(5)

• Qex: symbolic SQL query explorer
• Towards a framework for constraint-based test case generation
• A framework for guided test case generation in constraint logic programming
• A logical approach to data-aware automated sequence generation
• Applying constraint logic programming to SQL semantic analysis

Describes a project that uses

Uses Software

• Gecode

This page was built for publication: Applying constraint logic programming to SQL test case generation

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