A System to Generate Test Data and Symbolically Execute Programs

DOI PDF 被引用文献1件

L.A. Clarke

収録刊行物

IEEE Transactions on Software Engineering

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

Institute of Electrical and Electronics Engineers (IEEE)

被引用文献 (1)*注記

もっと見る

詳細情報詳細情報について

CRID

1361137046255659264
DOI

10.1109/tse.1976.233817
ISSN

00985589
Web Site

http://xplorestaging.ieee.org/ielx5/32/35894/01702368.pdf?arnumber=1702368
データソース種別
- Crossref

書き出し

問題の指摘

ページトップへ