|
|||||
|
|
Applications of Symbolic Execution to Program Testing |
|
| Authors: | Darringer J.A. King J.C. |
| Affiliation: | IBM Thomas J. Watson Research Center; |
| Abstract: | The advanced method of symbolic evaluation can be applied to program testing situations with results close to those of formal correctness proofs–but without the high cost. |
| Keywords: | |