Mediterranean College

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

Image from OpenLibrary

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.
Star ratings
    Average rating: 0.0 (0 votes)

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.
Previous
Back to results
Next
Close

MC Athens Campus Library
Πατησίων 94 & Κοδριγκτώνος 13, 104 34
Πελλήνης 8 & Πατησίων 107, 112 51
Τ: +30 210 8899600

MC Thessaloniki Campus Library
Ίωνος Δραγούμη 21, 54625 | Ίωνος Δραγούμη 15, 54625
Τ: +30 2310 287779 – Τ: +30 2314 440300