ATGen: Automatic Test Data Generation using Constraint Logic Programming and Symbolic Execution (0)

by C Meudec
Venue:Softw. Test., Verif. Reliab