Derivatives of Regular Expressions
Journal of the ACM (JACM)
On-Line Model Checking for Finite Linear Temporal Logic Specifications
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
Coverage metrics for requirements-based testing
Proceedings of the 2006 international symposium on Software testing and analysis
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Model checking DSL-generated c source code
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Traceability and evidence of correctness of EDSL abstractions
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Hi-index | 0.00 |
We consider linear temporal logic (LTL) for run-time testing over limited time periods. The technical challenge is to check if the finite trace produced by the system under test matches the LTL property. We present a constructive solution to this problem. Our finite trace LTL matching algorithm yields a proof explaining why a match exists. We apply our constructive LTL matching method to check if LTL properties are sufficiently covered by traces resulting from tests.