The symbolic execution of software : the SYM-BOL system
著者
書誌事項
The symbolic execution of software : the SYM-BOL system
(Computer science: research and practice, 2)
Chapman & Hall, 1995
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. [147]-151) and index
内容説明・目次
内容説明
Provides readers with a survey of software testing tools and techniques, and leads on to examples and a case study of symbolic execution in use. This book should be of interest to researchers, software engineers and postgraduate students.
目次
Testing. Tools and techniques for testing. The principles of symbolic execution. Applications of symbolic execution. Existing symbolic execution systems. SYM-BOL - a symbolic execution system for COBOL. Assertions in SYM-BOL. Transforming a source program into intermediate form. Path selection and symbolic execution. Determining path feasibility and test generation.
「Nielsen BookData」 より