480 search results - page 50 / 96 » Understanding the Behavior of Java Programs |
106
click to vote
ECBS
2004
IEEE
15 years 4 months ago
2004
IEEE
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
135
click to vote
AADEBUG
1997
Springer
15 years 4 months ago
1997
Springer
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) o...
104
Voted
FLAIRS
2004
15 years 1 months ago
2004
We present a preventive model of tutoring for novice programming derived from a human corpus and describe our intelligent tutoring system PROPL embodying that model. The system co...
101
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
89
Voted
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...