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