Sciweavers

SCAM
2006
IEEE
14 years 1 months ago
Data Representation Alternatives in Semantically Augmented Numerical Models
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
Michael W. Fagan, Laurent Hascoët, Jean Utke
SCAM
2006
IEEE
14 years 1 months ago
Normalizing Metamorphic Malware Using Term Rewriting
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
Andrew Walenstein, Rachit Mathur, Mohamed R. Chouc...
SCAM
2006
IEEE
14 years 1 months ago
Factoring Differences for Iterative Change Management
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...
Michael L. Collard, Huzefa H. Kagdi, Jonathan I. M...
SCAM
2006
IEEE
14 years 1 months ago
Evolving TXL
Adrian D. Thurston, James R. Cordy
SCAM
2006
IEEE
14 years 1 months ago
Cross-Language Program Analysis and Refactoring
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
Dennis Strein, Hans Kratz, Welf Löwe
SCAM
2006
IEEE
14 years 1 months ago
Linking Analysis and Transformation Tools with Source-Based Mappings
This paper discusses an approach to linking separate analysis and transformation tools, such that analysis results can be used to guide transformations. Our approach consists of t...
Magiel Bruntink
SCAM
2006
IEEE
14 years 1 months ago
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...
David Binkley, Mark Harman, Jens Krinke
SCAM
2006
IEEE
14 years 1 months ago
Bug Classification Using Program Slicing Metrics
In this paper, we introduce 13 program slicing metrics for C language programs. These metrics use program slice information to measure the size, complexity, coupling, and cohesion...
Kai Pan, Sunghun Kim, E. James Whitehead Jr.