A System to Generate Test Data and Symbolically Execute Programs

DOI PDF 1 Citations

L.A. Clarke

Journal

IEEE Transactions on Software Engineering

IEEE Transactions on Software Engineering SE-2 (3), 215-222, 1976-09

Institute of Electrical and Electronics Engineers (IEEE)

Citations (1)*help

See more

Details 詳細情報について

CRID

1361137046255659264
DOI

10.1109/tse.1976.233817
ISSN

00985589
Web Site

http://xplorestaging.ieee.org/ielx5/32/35894/01702368.pdf?arnumber=1702368
Data Source
- Crossref

Export

Report a problem

Back to top