Abstract is missing.
- Invited Talk: JML framed!Gary T. Leavens. 1 [doi]
- Resolving and applying constraint queries on context-sensitive analysesJames Ezick. 2-7 [doi]
- Validation of assembler programs for DSPs: a static analyzerMatthieu Martel. 8-13 [doi]
- Evaluating the imprecision of static analysisAtanas Rountev, Scott Kagan, Michael Gibas. 14-16 [doi]
- An improved slicer for JavaChristian Hammer, Gregor Snelting. 17-22 [doi]
- Dynamically inferring temporal propertiesJinlin Yang, David Evans. 23-28 [doi]
- The design and implementation of FIT: a flexible instrumentation toolkitBruno De Bus, Dominique Chanet, Bjorn De Sutter, Ludo Van Put, Koen De Bosschere. 29-34 [doi]
- Invited Talk Static and dynamic analysis: synergy and dualityMichael D. Ernst. 35 [doi]
- Invited Talk: Model checking software with VeriSoftPatrice Godefroid. 36 [doi]
- Efficient field-sensitive pointer analysis for CDavid J. Pearce, Paul H. J. Kelly, Chris Hankin. 37-42 [doi]
- Importance of heap specialization in pointer analysisErik M. Nystrom, Hong-seok Kim, Wen-mei W. Hwu. 43-48 [doi]
- Mock object creation for test factoringDavid Saff, Michael D. Ernst. 49-51 [doi]
- Elided conditionalsManos Renieris, Sébastien Chan-Tin, Steven P. Reiss. 52-57 [doi]