Conferences in DBLP
Nathaniel Ayewah , William Pugh , J. David Morgenthaler , John Penix , Yuqian Zhou Evaluating static analysis defect warnings on production software. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:1-8 [Conf ] David Hovemeyer , William Pugh Finding more null pointer bugs, but not too many. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:9-14 [Conf ] Lori L. Pollock , K. Vijay-Shanker , David Shepherd , Emily Hill , Zachary P. Fry , Kishen Maloor Introducing natural language program analysis. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:15-16 [Conf ] Ju Qian , Baowen Xu , Hongbo Min Interstatement must aliases for data dependence analysis of heap locations. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:17-24 [Conf ] Ana Milanova Light context-sensitive points-to analysis for java. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:25-30 [Conf ] Mark Marron , Darko Stefanovic , Manuel V. Hermenegildo , Deepak Kapur Heap analysis in the presence of collection libraries. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:31-36 [Conf ] Ondrej Lhoták Comparing call graphs. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:37-42 [Conf ] Alex Aiken , Suhabe Bugrara , Isil Dillig , Thomas Dillig , Brian Hackett , Peter Hawkins An overview of the saturn project. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:43-48 [Conf ] David Shepherd , Lori L. Pollock , K. Vijay-Shanker Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:49-54 [Conf ] Weilei Zhang , Barbara G. Ryder Discovering accurate interclass test dependences. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:55-62 [Conf ] Wei Le , Mary Lou Soffa Refining buffer overflow detection via demand-driven path-sensitive analysis. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:63-68 [Conf ] Ruben E. Brown AWE: improving software analysis through modular integration of static and dynamic analyses. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:69-74 [Conf ] Haiying Xu , Christopher J. F. Pickett , Clark Verbrugge Dynamic purity analysis for java programs. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:75-82 [Conf ] Jeffrey S. Foster , Michael W. Hicks , William Pugh Improving software quality with static analysis. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:83-84 [Conf ] Brian Chin , Daniel Marino , Shane Markstrum , Todd D. Millstein Enforcing and validating user-defined programming disciplines. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:85-86 [Conf ]