Atgen: Automatic test data generation using constraint logic programming and symbolic (0)

by C Meudec