symbolic execution of software
Subtitle: the SYM-BOL system
By: David Coward and Darrel Ince.
Contributors: Ince, D.
Series: Computer science -- 2
Publisher: Chapman & Hall
Published: 1995
Place of publication: London
Language: eng
Number of pages: 155
Subjects: COBOL (Computer program language); Computer programs -- Testing -- Case studies.; Computer programs -- Testing.; Computer software -- Quality control.; Software engineering.
Notes: Bibliography: p. 147-151.