The Community for Technology Leaders
2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) (2006)
Philadelphia, Pennsylvania
Sept. 27, 2006 to Sept. 29, 2006
ISBN: 0-7695-2353-6
TABLE OF CONTENTS
Introduction
Keynote Speech
Session 1: Slicing

Stop-List Slicing (Abstract)

David Binkley , Loyola College in Maryland, USA
Mark Harman , King?s College London, UK
Keith Gallagher , University of Durham, UK
pp. 11-20

Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms (Abstract)

Arpad Beszedes , University of Szeged, Hungary
Tibor Gyimothy , University of Szeged, Hungary
Tamas Gergely , University of Szeged, Hungary
pp. 21-30

Bug Classification Using Program Slicing Metrics (Abstract)

Sunghun Kim , University of California, Santa Cruz, USA
Kai Pan , University of California, Santa Cruz, USA
E. James Whitehead, Jr. , University of California, Santa Cruz, USA
pp. 31-42
Session 2: Static Analysis I

Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation (Abstract)

David Binkley , Loyola College, USA
Jens Krinke , FernUniversitat in Hagen, Germany
Mark Harman , King?s College London, UK
pp. 43-52

Estimating the Run-Time Progress of a Call Graph Construction Algorithm53-62 (Abstract)

Atanas Rountev , Ohio State University, USA
Jason Sawin , Ohio State University, USA
pp. 53-62

Constructing Accurate Application Call Graphs For Java To Model Library Callbacks (Abstract)

Barbara Ryder , Rutgers University, USA
Weilei Zhang , Rutgers University, USA
pp. 63-74
Session 3: Transformations

Normalizing Metamorphic Malware Using Term Rewriting (Abstract)

Mohamed R. Chouchane , University of Louisiana at Lafayette, USA
Arun Lakhotia , University of Louisiana at Lafayette, USA
Rachit Mathur , University of Louisiana at Lafayette, USA
Andrew Walenstein , University of Louisiana at Lafayette, USA
pp. 75-84

Data Representation Alternatives in Semantically Augmented Numerical Models (Abstract)

Jean Utke , Argonne National Laboratory, USA
Laurent Hascoet , INRIA, France
Michael Fagan , Rice University, USA
pp. 85-94

SMART C: A Semantic Macro Replacement Translator for C (Abstract)

E Christopher Lewis , University of Pennsylvania, USA
Matthew Jacobs , University of Pennsylvania, USA
pp. 95-106
Session 4: Tools

Evolving TXL (Abstract)

Adrian D. Thurston , Queen?s University, Canada
James R. Cordy , Queen?s University, Canada
pp. 117-126

Evaluating C++ Design Pattern Miner Tools (Abstract)

Tamas Gyovai , evosoft Hungary Ltd., Hlungary
Lajos Jeno Fulop , University of Szeged, Hungary
Rudolf Ferenc , University of Szeged, Hungary
pp. 127-138
Session 5: Static Analysis II

Syntactic Identifier Conciseness and Consistency (Abstract)

David Binkley , Loyola College, USA
Dawn Lawrie , Loyola College, USA
Henry Feild , Loyola College, USA
pp. 139-148

Prioritizing Software Inspection Results using Static Profiling (Abstract)

Cathal Boogerd , Delft University of Technology, The Netherlands
Leon Moonen , Delft University of Technology, The Netherlands
pp. 149-160
Tool Demonstrations

Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C (PDF)

Derek Bodin , University of Minnesota, USA
Phil Russell , University of Minnesota, USA
Lijesh Krishnan , University of Minnesota, USA
August Schwerdfeger , University of Minnesota, USA
Eric Van Wyk , University of Minnesota, USA
Eric Johnson , University of Minnesota, USA
pp. 161
Session 6: Formal Methods

Formal Specification and Verification of Java Refactorings (Abstract)

Alejandra Garrido , University of Illinois at Urbana-Champaign, USA
Jose Meseguer , University of Illinois at Urbana-Champaign, USA
pp. 165-174

AVal: an Extensible Attribute-Oriented Programming Validator for Java (Abstract)

Carlos Noguera , INRIA - Futurs, France
Renaud Pawlak , INRIA - Futurs, France
pp. 175-183

Abstract Interpretation of PIC Programs through Logic Programming (Abstract)

Kim S. Henriksen , Roskilde University, Denmark
John P. Gallagher , Roskilde University, Denmark
pp. 184-196
Session 7: Refactoring

Comparative Study of Refactoring Haskell and Erlang Programs (Abstract)

Simon Thompson , University of Kent, UK
Huiqing Li , University of Kent, UK
pp. 197-206

Cross-Language Program Analysis and Refactoring (Abstract)

Hans Kratz , Omnicore Software, Germany
Welf L? , V?xj? universitet, Sweden
Dennis Strein , Omnicore Software, Germany
pp. 207-216

Factoring Differences for Iterative Change Management (Abstract)

Jonathan I. Maletic , Kent State University, USA
Michael L. Collard , Ashland University, USA
Huzefa Kagdi , Kent State University, USA
pp. 217-226
Author Index

Author Index (PDF)

pp. 227
83 ms
(Ver )