The Symbolic Execution of Software / The Sym-Bol System

Contributor(s):

Material type:

TextPublication details: Chapman & Hall, 1995Description: 168ISBN:

412583402

Summary: This book is concerned with program testing and in particular with symbolic execution as a technique for aiding program testing. Testing, Tools and Techniques for Testing, The Principles of Symbolic Execution, Existing Symbolic Execution Systems, SYM-BOL - A Symbolic Execution System for COBOL, The Main Features of SYM-BOL, Conclusions, References, Index.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Barcode
Books	MC Athens Campus Library	005.14 COW (Browse shelf(Opens below))	1	Available	9780000035332

This book is concerned with program testing and in particular with symbolic execution as a technique for aiding program testing. Testing, Tools and Techniques for Testing, The Principles of Symbolic Execution, Existing Symbolic Execution Systems, SYM-BOL - A Symbolic Execution System for COBOL, The Main Features of SYM-BOL, Conclusions, References, Index.

There are no comments on this title.

to post a comment.

Κατάλογος Βιβλιοθηκών Mediterranean College

The Symbolic Execution of Software / The Sym-Bol System