85 search results - page 9 / 17 » Using Runtime Analysis to Guide Model Checking of Java Progr... |
108
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
125
Voted
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
129
Voted
CC
2009
Springer
14 years 11 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
157
click to vote
RV
2010
Springer
14 years 11 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
106
Voted
PPDP
2001
Springer
15 years 5 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...