Dependence Guided Symbolic Execution

DOI PDF PDF 1 Citations

Journal

IEEE Transactions on Software Engineering

IEEE Transactions on Software Engineering 43 (3), 252-271, 2017-03-01

Institute of Electrical and Electronics Engineers (IEEE)

Citations (1)*help

See more

Details 詳細情報について

CRID

1363670320656056704
DOI

10.1109/tse.2016.2584063
ISSN

19393520

00985589
Web Site

http://ieeexplore.ieee.org/ielaam/32/7876879/7497518-aam.pdf

http://xplorestaging.ieee.org/ielx7/32/7876879/07497518.pdf?arnumber=7497518
Data Source
- Crossref

Export

Report a problem

Back to top