Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution.

Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid

Browse the full APLAS paper archive.