Analysis of the constraint solver in UNA based test data generation

Jon Edvardsson, Mariam Kamkar. Analysis of the constraint solver in UNA based test data generation. In ESEC / SIGSOFT FSE. pages 237-245, 2001. [doi]

Abstract

Abstract is missing.