Applying constraint logic programming to SQL test case generation

DOI10.1007/978-3-642-12251-4_15zbMATH Open1284.68113OpenAlexW1602835623WikidataQ130880045 ScholiaQ130880045MaRDI QIDQ3558339FDOQ3558339

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

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

Mathematics Subject Classification ID

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

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

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)