Path selection for symbolic execution systems
By: by John Lowe Woods.
Series: Computer science.; no. 12
Publisher: UMI Research Press
Published: 1982
Place of publication: Ann Arbor, Mich
Language: eng
Number of pages: 108
Subjects: Computer programs -- Testing.; Computer programming.
Notes: Bibliography: p. [101]-103.
Revision of thesis (Ph.D.)--University of Massachusetts, 1980.
Includes index.