8. SCAM 2008: Beijing, China

• Paul Anderson:
  90% Perspiration: Engineering Static Analysis Techniques for Industrial Applications. 3-12
  Electronic Edition (link) BibTeX
• Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried:
  Some Assembly Required - Program Analysis of Embedded System Code. 15-24
  Electronic Edition (link) BibTeX
• Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes:
  User-Input Dependence Analysis via Graph Reachability. 25-34
  Electronic Edition (link) BibTeX
• Katsuhiko Gondow, Hayato Kawashima, Takashi Imaizumi:
  TBCppA: A Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors. 35-44
  Electronic Edition (link) BibTeX
• Cheng Wang, Daqing Hou:
  An Empirical Study of Function Overloading in C++. 47-56
  Electronic Edition (link) BibTeX
• Jens Krinke:
  Is Cloned Code More Stable than Non-cloned Code? 57-66
  Electronic Edition (link) BibTeX
• Jeremy Singer, Chris C. Kirkham:
  Exploiting the Correspondence between Micro Patterns and Class Names. 67-76
  Electronic Edition (link) BibTeX
• Cathal Boogerd, Leon Moonen:
  On the Use of Data Flow Analysis in Static Profiling. 79-88
  Electronic Edition (link) BibTeX
• Damiano Zanardini:
  The Semantics of Abstract Program Slicing. 89-98
  Electronic Edition (link) BibTeX
• Massimiliano Di Penta, Luigi Cerulo, Lerina Aversano:
  The Evolution and Decay of Statically Detected Source Code Vulnerabilities. 101-110
  Electronic Edition (link) BibTeX
• Abram Hindle, Michael W. Godfrey, Richard C. Holt:
  From Indentation Shapes to Code Structures. 111-120
  Electronic Edition (link) BibTeX
• David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi:
  Evaluating Key Statements Analysis. 121-130
  Electronic Edition (link) BibTeX
• Jonas Lundberg, Tobias Gutzmann, Welf Löwe:
  Fast and Precise Points-to Analysis. 133-142
  Electronic Edition (link) BibTeX
• Qiang Sun, Jianjun Zhao:
  Aspect-Aware Points-to Analysis. 143-152
  Electronic Edition (link) BibTeX
• Andrew Stone, Michelle Strout, Shweta Behere:
  Automatic Determination of May/Must Set Usage in Data-Flow Analysis. 153-162
  Electronic Edition (link) BibTeX
• Lei Wang, Qiang Zhang, PengChao Zhao:
  Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking. 165-173
  Electronic Edition (link) BibTeX
• Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu:
  Analysis and Transformations for Efficient Query-Based Debugging. 174-183
  Electronic Edition (link) BibTeX
• Daniel M. Germán, Gregorio Robles, Ahmed E. Hassan:
  Change Impact Graphs: Determining the Impact of Prior Code Changes. 184-193
  Electronic Edition (link) BibTeX
• Mariano Ceccato, Thomas Roy Dean, Paolo Tonella:
  Using Program Transformations to Add Structure to a Legacy Data Model. 197-206
  Electronic Edition (link) BibTeX
• Petru Florin Mihancea:
  Type Highlighting: A Client-Driven Visual Approach for Class Hierarchies Reengineering. 207-216
  Electronic Edition (link) BibTeX
• Jason Chu, Thomas Dean:
  Automated Migration of List Based JSP Web Pages to AJAX. 217-226
  Electronic Edition (link) BibTeX
• Tony Clark, Paul Sammut, James S. Willans:
  Beyond Annotations: A Proposal for Extensible Java (XJ). 229-238
  Electronic Edition (link) BibTeX
• Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
  Modular Decompilation of Low-Level Code by Partial Evaluation. 239-248
  Electronic Edition (link) BibTeX
• Yue Jia, Mark Harman:
  Constructing Subtle Faults Using Higher Order Mutation Testing. 249-258
  Electronic Edition (link) BibTeX
• Raffi Khatchadourian, Awais Rashid:
  Rejuvenate Pointcut: A Tool for Pointcut Expression Recovery in Evolving Aspect-Oriented Software. 261-262
  Electronic Edition (link) BibTeX
• Cristina Cifuentes:
  Parfait - A Scalable Bug Checker for C Code. 263-264
  Electronic Edition (link) BibTeX
• Nuno F. Rodrigues, Luís Soares Barbosa:
  CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. 265-266
  Electronic Edition (link) BibTeX
• Dennis Giffhorn, Christian Hammer:
  Precise Analysis of Java Programs Using JOANA. 267-268
  Electronic Edition (link) BibTeX
• Zhao Hong Yang, Yun Zhan Gong, Xiao Qing, Wang Ya Wen:
  DTS - A Software Defects Testing System. 269-270
  Electronic Edition (link) BibTeX