Daryl Shannon

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. APLAS (2008)
Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov
Analyzing the Uses of a Software Modeling Tool. Electron. Notes Theor. Comput. Sci. 164 (2) (2006)