Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
ACM Letters on Programming Languages and Systems (LOPLAS)
An automata-theoretic approach to linear temporal logic
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Java-MaC: A Run-Time Assurance Approach for Java Programs
Formal Methods in System Design
Adding trace matching with free variables to AspectJ
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The DaCapo benchmarks: java benchmarking development and analysis
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
jPredictor: a predictive runtime analysis tool for java
Proceedings of the 30th international conference on Software engineering
Runtime Verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
abc: an extensible AspectJ compiler
Transactions on Aspect-Oriented Software Development I
Hi-index | 0.00 |
Runtime verification techniques are used to continuously check whether software execution satisfies or violates a given correctness property. In this paper, we extend our previous work of three-valued semantics for Linear Temporal Logic (LTL) to predictive semantics. Combined with the static analysis to the monitored program, the predictive semantics are capable of predicting monitored property's satisfaction/violation even when the observed execution does not convince it. We instrument the monitored program based on its Program Dependence Graph representation in order to emit "predictive word" at runtime. We also implement a prototype tool to support predictive semantics and use it to find predictive words in real, large-scale project. The result demonstrates that the predictive semantics are generally applicable in these projects.