ERLANG
2004
ACM
13 years 10 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
SIGADA
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
SEKE
2005
Springer
13 years 10 months ago
2005
Springer
Most design recovery approaches start from analysing source code. Nonetheless, it is very difficult to get adequate design information only depending on source code. Additional av...
RE
2005
Springer
13 years 10 months ago
2005
Springer
A reverse engineering process aims at reconstructing el abstractions from source code. This paper presents a novel reverse engineering methodology for recovering stakeholder goal ...
OOPSLA
2005
Springer
13 years 10 months ago
2005
Springer
Code clones in software increase maintenance cost and lower software quality. We have devised a new algorithm to detect duplicated parts of source code in large software. Our algo...
OOPSLA
2005
Springer
13 years 10 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
FASE
2005
Springer
13 years 10 months ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
ECOOP
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...
SOFTVIS
2005
ACM
13 years 10 months ago
2005
ACM
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...