Sciweavers

8 search results - page 1 / 2
» scam 2002
Sort
View
SCAM
2002
IEEE
13 years 9 months ago
VADA: A Transformation-Based System for Variable Dependence Analysis
Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu,...
SCAM
2002
IEEE
13 years 9 months ago
Grammar Programming in TXL
Syntactic analysis forms a foundation of many source analysis and reverse engineering tools. However, a single grammar is not always appropriate for all source analysis and manipu...
Thomas R. Dean, James R. Cordy, Andrew J. Malton, ...
SCAM
2002
IEEE
13 years 9 months ago
Dynamic Slicing Object-Oriented Programs for Debugging
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
Baowen Xu, Zhenqiang Chen, Hongji Yang
SCAM
2002
IEEE
13 years 9 months ago
Parallel Support for Source Code Analysis and Modification
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
Ira D. Baxter
SCAM
2002
IEEE
13 years 9 months ago
Visualization of Exception Propagation for Java Using Static Analysis
In this paper, we first present a static analysis based on set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagatio...
Byeong-Mo Chang, Jang-Wu Jo, Soon Hee Her