63 search results - page 9 / 13 » A State Exploration-Based Approach to Testing Java Monitors |
105
click to vote
IEEEARES
2010
IEEE
15 years 4 months ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...
HPDC
1998
IEEE
15 years 3 months ago
1998
IEEE
We describe a methodology that enables the real-time diagnosis of performance problems in complex high-performance distributed systems. The methodology includes tools for generati...
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
101
click to vote
ECLIPSE
2007
ACM
15 years 3 months ago
2007
ACM
We present a declarative and visual debugging environment for Eclipse called JIVE.1 Traditional debugging is procedural in that a programmer must proceed step-by-step and objectby...
80
Voted
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...