| |
| 2008 | ||
|---|---|---|
| 3 | EE | Wei Le, Mary Lou Soffa: Marple: a demand-driven path-sensitive buffer overflow detector. SIGSOFT FSE 2008: 272-282 |
| 2007 | ||
| 2 | EE | Wei Le, Mary Lou Soffa: Refining buffer overflow detection via demand-driven path-sensitive analysis. PASTE 2007: 63-68 |
| 2005 | ||
| 1 | EE | David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan: Software Assurance by Bounded Exhaustive Testing. IEEE Trans. Software Eng. 31(4): 328-339 (2005) |
| 1 | David Coppit | [1] |
| 2 | Sarfraz Khurshid | [1] |
| 3 | Mary Lou Soffa | [2] [3] |
| 4 | Kevin J. Sullivan | [1] |
| 5 | Jinlin Yang | [1] |