Path selection for symbolic execution systems /

Bibliographic Details
Main Author:	Woods, John Lowe
Format:	Book
Language:	English
Published:	Ann Arbor, Mich. : UMI Research Press, [1982]
Series:	Computer science. Systems programming ; no. 12.
Subjects:	Computer programs > Testing. Computer programming.

Remote Storage