Amar Bendou CT-DATAGEN: A Constraint Based Test Data Generator. 19-29 1995 conf/eurovav/1995 EUROVAV db/conf/eurovav/eurovav1995.html#Bendou95