CSDL - Proceedings S

PDF

Conference Organization (PDF)

pp. viii

PDF

Keynote Address

Parallel Support for Source Code Analysis and Modification (Abstract)

Ira D. Baxter, Semantic Designs, Inc.

pp. 3

PDF

Towards Measurement of Testability of Concurrent Object-Oriented Programs Using Fault Insertion: A Preliminary Investigation (Abstract)

Session I: Testing, Metrics, Maintenance

Sudipto Ghosh, Colorado State University

pp. 17

PDF

An Extensible Metrics Extraction Environment for Object-Oriented Programming Languages (Abstract)

T. J. Harmer, The Queen?s University of Belfast

F. G. Wilkie, The University of Ulster

pp. 26

PDF

Evaluating Clone Detection Tools for Use during Preventative Maintenance (Abstract)

Elizabeth Burd, University of Durham

John Bailey, University of Durham

pp. 36

PDF

A Simple Mathematically Based Framework for Rule Extraction Using Wide Spectrum Language (Abstract)

Frederick V. Ramsey, De Montfort University

James J. Alpigini, Pennsylvania State University

pp. 44

PDF

Session II: Source Transformation, Source Processing

VADA: A Transformation-Based System for Variable Dependence Analysis (Abstract)

Mark Harman, Brunel University

Chris Fox, Essex University

Rob Hierons, Brunel University

Lin Hu, Brunel University

Sebastian Danicic, Goldsmiths College

Joachim Wegener, DaimlerChrysler

pp. 55

PDF

Combining Source Transformation and Operator Overloading Techniques to Compute Derivatives for MATLAB Programs (Abstract)

C. H. Bischof, Aachen University

H. M. Bücker, Aachen University

B. Lang, Aachen University

A. Rasch, Aachen University

A. Vehreschild, Aachen University

pp. 65

PDF

Mechanized Operational Semantics of WSL (Abstract)

Xingyuan Zhang, University of Durham

Malcolm Munro, University of Durham

Mark Harman, Brunel University

Lin Hu, Brunel University

pp. 73

PDF

Handling Preprocessor-Conditioned Declarations (Abstract)

Lerina Aversano, University of Sannio

Massimiliano Di Penta, University of Sannio

Ira. D. Baxter, Semantic Designs Inc.

pp. 83

PDF

Grammar Programming in TXL (Abstract)

Thomas R. Dean, Queen?s University

James R. Cordy, Queen?s University

Andrew J. Malton, University of Waterloo

Kevin A. Schneider, University of Saskatchewan

pp. 93

PDF

Session III: Slicing

An Interprocedural Amorphous Slicer for WSL (Abstract)

Mark Harman, BruneI University

Lin Hu, BruneI University

Malcolm Munro, University of Durham

Xingyuan Zhang, University of Durham

Sebastian Danicic, Goldsmiths College

Mohammed Daoudi, Goldsmiths College

Lahcen Ouarbya, Goldsmiths College

pp. 105

PDF

Dynamic Slicing Object-Oriented Programs for Debugging (Abstract)

Baowen Xu, Southeast University

Zhenqiang Chen, Southeast University

Hongji Yang, De Montfort University

pp. 115

PDF

Construction of the System Dependence Graph for Web Application Slicing (Abstract)

Filippo Ricca, ITC-irst

Paolo Tonella, ITC-irst

pp. 123

PDF

Predicate-Based Dynamic Slicing of Message Passing Programs (Abstract)

Juergen Rilling, Concordia University

Hon F. Li, Concordia University

Dhrubajyoti Goswami, Concordia University

pp. 133

PDF

Session IV: Dependence Graphs, Static Analysis

Using Dependence Graphs as a Support to Document Programs (Abstract)

Françoise Balmas, Université Paris 8

pp. 145

PDF

Precise Call Graph Construction in the Presence of Function Pointers (Abstract)

Ana Milanova, Rutgers University

Atanas Rountev, Rutgers University

Barbara G. Ryder, Rutgers University

pp. 155

PDF

Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages (Abstract)

Peter Bunus, Link?ping University

Peter Fritzson, Link?ping University

pp. 163

PDF

Visualization of Exception Propagation for Java Using Static Analysis (Abstract)

Byeong-Mo Chang, Sookmyung Women?s University

Jang-Wu Jo, Pusan University of Foreign Studies

Soon Hee Her, Sookmyung Women?s University

pp. 173

PDF

Author Index

Author Index (PDF)

pp. 183