165 search results - page 8 / 33 » Static Analysis of Students' Java Programs |
APVIS
2003
13 years 8 months ago
2003
This paper presents an experimental evaluation of a program visualisation tool. Computer science students in an introductory object oriented programming course in Java were asked ...
FASE
2010
Springer
14 years 2 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
FASE
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...