|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| J.A. Darringer, J.C. King, "Applications of Symbolic Execution to Program Testing," Computer, vol. 11, no. 4, pp. 51-60, April, 1978. | |||
| BibTex | x | ||
| @article{ 10.1109/C-M.1978.218139, author = {J.A. Darringer and J.C. King}, title = {Applications of Symbolic Execution to Program Testing}, journal ={Computer}, volume = {11}, number = {4}, issn = {0018-9162}, year = {1978}, pages = {51-60}, doi = {http://doi.ieeecomputersociety.org/10.1109/C-M.1978.218139}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - Computer TI - Applications of Symbolic Execution to Program Testing IS - 4 SN - 0018-9162 SP51 EP60 EPD - 51-60 A1 - J.A. Darringer, A1 - J.C. King, PY - 1978 KW - null VL - 11 JA - Computer ER - | |||
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.
Citation:
J.A. Darringer, J.C. King, "Applications of Symbolic Execution to Program Testing," Computer, vol. 11, no. 4, pp. 51-60, April 1978, doi:10.1109/C-M.1978.218139
Usage of this product signifies your acceptance of the Terms of Use.