![]() | ![]() |
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] |