Front cover image for A System to Generate Test Data and Symbolically Execute Programs

Peer-reviewed

A System to Generate Test Data and Symbolically Execute Programs


Article, 1976
IEEE Transactions on Software Engineering, 2, 197609, 215
1976