@inproceedings{rafawflp04,
author = {R.~Caballero-Rold\'{a}n and R.A.~Müller and H.~Kuchen},
booktitle = {Proc. 13th International Workshop on Functional and (Constraint) Logic Programming (WFLP'04)},
note = {Technical Report AIB-2004-05},
pages = {19-32},
publisher = {University of Aachen},
title = {Constraint {S}olving for {G}enerating {G}lass-{B}ox {T}est {C}ases},
projects = {},
butype = {workshop},
year = {2004}
}