598 search results - page 61 / 120 » A dynamic birthmark for java |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
Producing reliable and robust software has become one of the most important software development concerns in recent years. Testing is a process by which software quality can be as...
103
click to vote
EUC
2007
Springer
15 years 4 months ago
2007
Springer
Networked embedded systems present unique challenges for system designers composing distributed applications with dyanmic, real-time, and resilience requirements. We consider the ...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
All high-performance production JVMs employ an adaptive strategy for program execution. Methods are first executed unoptimized and then an online profiling mechanism is used to ...
PDP
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we present a methodology to analyze the behavior and performance of Java application servers using a performance analysis framework. This framework considers all lev...