EUCLIDE : automatic test data generation for critical C programs Constraint Programming Exploit relations (constraints) to infer new - Test Data Generation - Document - PDFSEARCH.IO

First Page	Meta Content
	EUCLIDE : automatic test data generation for critical C programs Constraint Programming Exploit relations (constraints) to infer new Add to Reading List Document Date: 2010-05-25 10:06:16 Open Document File Size: 1,27 MB Share Result on Facebook

EUCLIDE : automatic test data generation for critical C programs Constraint Programming Exploit relations (constraints) to infer newAdd to Reading List