Conference organization

list-reviewer (PDF)

pp. x

Message from the Chairs (PDF)

pp. vii

Program Committee (PDF)

pp. ix-ix

Using Source-Code Analysis to Help End-User Programmers Create Dependable Software (PDF)

Keynote

Gregg Rothermel, University of Nebraska-Lincoln

pp. 3-3

Decompilation

Software De-Pipelining Technique (Abstract)

Bogong Su, William Paterson University

Jian Wang, Nortel Networks

Erh-Wen Hu, William Paterson University

Joseph Manzano, William Paterson University

pp. 7-16

PDF

Abstracting Stack to Detect Obfuscated Calls in Binaries (Abstract)

Arun Lakhotia, University of Louisiana at Lafayette, LA

Eric Uday Kumar, University of Louisiana at Lafayette, LA

pp. 17-26

PDF

Slicing

Context-Sensitivity Matters, But Context Does Not (Abstract)

Jens Krinke, FernUniversit?t in Hagen, Hagen, Germany

pp. 29-35

PDF

Some Notes on Interprocedural Program Slicing (Abstract)

K. B. Gallagher, University of Durham, UK

pp. 36-42

PDF

Formalizing Executable Dynamic and Forward Slicing (Abstract)

Dave Binkley, Loyola College, Baltimore MD

Sebastian Danicic, University of London, UK

Tibor Gyim?thy, University of Szeged, Hungary

Mark Harman, Brunel University, UK

?kos Kiss, University of Szeged, Hungary

Lahcen Ouarbya, University of London, UK

pp. 43-52

PDF

Restructuring

Control Flow Reversal for Adjoint Code Generation (Abstract)

Uwe Naumann, Argonne National Laboratory, IL, USA

Jean Utke, Argonne National Laboratory, IL, USA

Andrew Lyons, Argonne National Laboratory, IL, USA

Michael Fagan, Rice University, Houston, TX, USA

pp. 55-64

PDF

Evolving Transformation Sequences using Genetic Algorithms (Abstract)

Deji Fatiregun, Brunel University, UK

Mark Harman, Brunel University, UK

Robert M. Hierons, Brunel University, UK

pp. 66-75

PDF

Program Restructuring Through Clustering Techniques (Abstract)

Xia Xu, Carleton University, Ottawa, Canada

Chung-Horng Lung, Carleton University, Ottawa, Canada

Marzia Zaman, Cistel Technology, Ottawa, Canada

Anand Srinivasan, EION Inc., Ottawa, Canada

pp. 75-84

PDF

Amorphous Procedure Extraction (Abstract)

Mark Harman, Brunel University, UK

David Binkley, Loyola College, Baltimore MD

Ranjit Singh, Brunel University, UK

Robert M. Hierons, Brunel University, UK

pp. 85-94

PDF

Aspect-Oriented Programming

Mining Aspectual Views using Formal Concept Analysis (Abstract)

Tom Tourw?, Centrum voor Wiskunde en Informatica, The Netherlands

Kim Mens, Universit? Catholique de Louvain, Belgium

pp. 97-106

PDF

Adding Distribution to Existing Applications by Means of Aspect Oriented Programming (Abstract)

Mariano Ceccato, ITC-irst, Italy

Paolo Tonella, ITC-irst, Italy

pp. 107-116

PDF

Maintenance

Specifying the Law of Demeter and C++ Programming Guidelines with FCL (Abstract)

Daqing Hou, University of Alberta, Canada

H. James Hoover, University of Alberta, Canada

Piotr Rudnicki, University of Alberta, Canada

pp. 119-127

PDF

Clone Detection in Source Code by Frequent Itemset Techniques (Abstract)

Vera Wahler, University of W?rzburg, Germany

Dietmar Seipel, University of W?rzburg, Germany

J?rgen Wolff v. Gudenberg, University of W?rzburg, Germany

Gregor Fischer, University of W?rzburg, Germany

pp. 128-135

PDF

Predicting Class Testability using Object-Oriented Metrics (Abstract)

Magiel Bruntink, CWI, The Netherlands

Arie van Deursen, CWI and Delft University of Technology, The Netherlands

pp. 136-145

PDF

Source Code

Executable Source Code and Non-Executable Source Code: Analysis and Relationships (Abstract)

Gregorio Robles, Universidad Rey Juan Carlos, Spain

Jesus M. Gonzalez-Barahona, Universidad Rey Juan Carlos, Spain

pp. 149-157

PDF

A CASE Tool Platform Using an XML Representation of Java Source Code (Abstract)

Katsuhisa Maruyama, Ritsumeikan University, Japan

Shinichiro Yamamoto, Aichi Prefectural University, Japan

pp. 158-167

PDF

Author Index (PDF)

pp. 169-169