Andrea Neufeld, Guido Moerkotte, Peter C. Lockemann. Generating Consistent Test Data for a Variable Set of General Consistency Constraints. VLDB J., 2(2):173-213, 1993. [doi]
@article{NeufeldML93, title = {Generating Consistent Test Data for a Variable Set of General Consistency Constraints}, author = {Andrea Neufeld and Guido Moerkotte and Peter C. Lockemann}, year = {1993}, tags = {testing, constraints, data-flow, C++, consistency}, researchr = {https://researchr.org/publication/NeufeldML93}, cites = {0}, citedby = {0}, journal = {VLDB J.}, volume = {2}, number = {2}, pages = {173-213}, }