Path selection for symbolic execution systems
Woods, John Lowe.
Ann Arbor, Mich. UMI Research Press
c1982
: Revision of thesis (Ph.D.)--University of Massachusetts, 1980
Includes index
Bibliography: p. [101]-103
Computer programs
Electronic digital computers