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.

Description
Item Description:	Revision of thesis (Ph.D.)--University of Massachusetts, 1980. Includes index.
Physical Description:	viii, 108 pages : illustrations ; 24 cm.
Bibliography:	Bibliography: pages [101]-103.
ISBN:	083571344X