Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths

Shunfan Zhou, Zhemin Yang, Dan Qiao, Peng Liu, Min Yang, Zhe Wang, Chenggang Wu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

11 Scopus citations

Fingerprint

Dive into the research topics of 'Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths'. Together they form a unique fingerprint.

Engineering & Materials Science