Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis.

Penghui Li, Wei Meng, Mingxue Zhang, Chenlin Wang, Changhua Luo

Browse the full SP paper archive.