Abstract is missing.
- PASTE at MicrosoftManuvir Das. 1 [doi]
- An empirical framework for comparing effectiveness of testing and property-based formal analysisJeremy S. Bradbury, James R. Cordy, Jürgen Dingel. 2-5 [doi]
- Evaluating the impact of context-sensitivity on Andersen s algorithm for Java programsDonglin Liang, Maikel Pennings, Mary Jean Harrold. 6-12 [doi]
- Evaluating and tuning a static analysis to find null pointer bugsDavid Hovemeyer, Jaime Spacco, William Pugh. 13-19 [doi]
- Link-time static analysis for efficient separate compilation of object-oriented languagesJean Privat, Roland Ducournau. 20-27 [doi]
- Low overhead program monitoring and profilingNaveen Kumar, Bruce R. Childers, Mary Lou Soffa. 28-34 [doi]
- A concept analysis inspired greedy algorithm for test suite minimizationSriraman Tallam, Neelam Gupta. 35-42 [doi]
- MonDe: safe updating through monitored deployment of new component versionsJonathan Cook, Alessandro Orso. 43-46 [doi]
- Making distributed systems secure with program analysis and transformationAndrew C. Myers. 47 [doi]
- Invariants and state in testing and formal methodsDick Hamlet. 48-51 [doi]
- Symbolic path simulation in path-sensitive dataflow analysisHari Hampapuram, Yue Yang, Manuvir Das. 52-58 [doi]
- SableSpMT: a software framework for analysing speculative multithreading in JavaChristopher J. F. Pickett, Clark Verbrugge. 59-66 [doi]
- Representation-independent program analysisMichelle Mills Strout, John M. Mellor-Crummey, Paul D. Hovland. 67-74 [doi]
- LANCET: a nifty code editing toolLudo Van Put, Bjorn De Sutter, Matias Madou, Bruno De Bus, Dominique Chanet, Kristof Smits, Koen De Bosschere. 75-81 [doi]
- Weakest-precondition of unstructured programsMichael Barnett, K. Rustan M. Leino. 82-87 [doi]
- String analysis for x86 binariesMihai Christodorescu, Nicholas Kidd, Wen-Han Goh. 88-95 [doi]
- Static control-flow analysis for reverse engineering of UML sequence diagramsAtanas Rountev, Olga Volgin, Miriam Reddoch. 96-102 [doi]
- Generalizing symbolic execution to library classesSarfraz Khurshid, Yuk Lai Suen. 103-110 [doi]
- Automatically generating refactorings to support API evolutionJeff H. Perkins. 111-114 [doi]