![]() | ![]() |
| 2011 | ||
|---|---|---|
| 5 | Wei Le, Mary Lou Soffa: Generating analyses for detecting faults in path segments. ISSTA 2011: 320-330 | |
| 2010 | ||
| 4 | Wei Le, Mary Lou Soffa: Path-based fault correlations. SIGSOFT FSE 2010: 307-316 | |
| 2008 | ||
| 3 | Wei Le, Mary Lou Soffa: Marple: a demand-driven path-sensitive buffer overflow detector. SIGSOFT FSE 2008: 272-282 | |
| 2007 | ||
| 2 | Wei Le, Mary Lou Soffa: Refining buffer overflow detection via demand-driven path-sensitive analysis. PASTE 2007: 63-68 | |
| 2005 | ||
| 1 | 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] [5] |
| 4 | Kevin J. Sullivan | [1] |
| 5 | Jinlin Yang | [1] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page