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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.