Dynamic Path Pruning in Symbolic Execution

Journal

DSC 2018 - 2018 IEEE Conference on Dependable and Secure Computing

Date Issued

2019

Author(s)

Chen, Y.-S.

Chen, W.-N.

Wu, C.-Y.

Hsiao, H.-C.

DOI

10.1109/DESEC.2018.8625128

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/488555

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85062567403&doi=10.1109%2fDESEC.2018.8625128&partnerID=40&md5=469de13ffed5ecadc61a069e93e05201

Type

conference paper