Analyzing the Uses of a Software Modeling Tool. - Xiaoming Li 004; Daryl Shannon; Jabari Walker; Sarfraz Khurshid; Darko Marinov (LDTA@ETAPS, 2006)

Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. - Xin Li 010; Daryl Shannon; Indradeep Ghosh; Mizuhito Ogawa; Sreeranga P. Rajan; Sarfraz Khurshid (APLAS, 2008)