| 000 | 00870cam a22002054a 4500 | ||
|---|---|---|---|
| 005 | 20250605164118.0 | ||
| 008 | 250528s ||||||||||||||||||||||||d | ||
| 035 | _a18153 | ||
| 020 | _a412583402 | ||
| 040 |
_aGR-AtMCL _bgre _dGR-AtMCL _eAACR2 |
||
| 245 | 1 | _aThe Symbolic Execution of Software / The Sym-Bol System | |
| 260 |
_bChapman & Hall, _c1995 |
||
| 300 | _a168 | ||
| 520 | _aThis 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. | ||
| 700 | 1 |
_aCoward David _94444 |
|
| 700 | 1 |
_aDarrel Ince _91514 |
|
| 942 | _cBK | ||
| 999 |
_c3534 _d3534 |
||