8. SCAM 2008:
Beijing,
China
Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 28-29 September 2008, Beijing, China.
IEEE 2008 BibTeX
- 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
Copyright © Sat May 16 23:36:58 2009
by Michael Ley (ley@uni-trier.de)