398 search results - page 9 / 80 » On the Inference of Configuration Structures from Source Cod... |
ECRTS
1998
IEEE
15 years 3 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
138
click to vote
ICTAI
2008
IEEE
15 years 6 months ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
IPM
2010
14 years 10 months ago
2010
Taxonomy construction is a resource-demanding, top down, and time consuming effort. It does not always cater for the prevailing context of the captured information. This paper pro...
APSEC
2003
IEEE
15 years 4 months ago
2003
IEEE
For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the...
91
Voted
OSDI
2006
ACM
15 years 12 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...