| |
| 2008 | ||
|---|---|---|
| 2 | EE | Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid: Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. APLAS 2008: 36-52 |
| 2006 | ||
| 1 | EE | Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov: Analyzing the Uses of a Software Modeling Tool. Electr. Notes Theor. Comput. Sci. 164(2): 3-18 (2006) |
| 1 | Indradeep Ghosh | [2] |
| 2 | Sarfraz Khurshid | [1] [2] |
| 3 | Xiaoming Li | [1] |
| 4 | Xin Li | [2] |
| 5 | Darko Marinov | [1] |
| 6 | Mizuhito Ogawa | [2] |
| 7 | Sreeranga P. Rajan | [2] |
| 8 | Jabari Walker | [1] |