Analysis of the constraint solver in UNA based test data generation. - Jon Edvardsson; Mariam Kamkar (ESEC / SIGSOFT FSE, 2001)

Techniques for Automatic Generation of Tests from Programs and Specifications. - Jon Edvardsson (2006)