Christophe Meudec ATGen: automatic test data generation using constraint logic programming and symbolic execution. 81-96 2001 11 Softw. Test., Verif. Reliab. 2 db/journals/stvr/stvr11.html#Meudec01