Generating consistent test data: restricting the search space by a generator formula (1993)

by A Neufeld, G Moerkotte, P C Lockemann
Venue:The VLDB Journal