Exploring Use of Symbolic Execution for Service Analysis.

Yang Zhang, Long Wang, Zhengang Wang, Dongdong Shangguan

Browse the full DSN paper archive.