85 search results - page 8 / 17 » Using Runtime Analysis to Guide Model Checking of Java Progr... |
121
Voted
ACSD
2008
IEEE
15 years 7 months ago
2008
IEEE
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
113
Voted
ECOOP
2006
Springer
15 years 3 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
123
Voted
CC
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
93
Voted
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents a new compile-time analysis that enables a testing methodology for white-box coverage testing of error recovery code (i.e., exception handlers) in Java web ser...
106
Voted
SIGSOFT
2004
ACM
15 years 6 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eï¬...