Path selection for symbolic execution systems / - Woods, John Lowe. (UMI Research Press,, 1982)