The Temporal Rover and the ATG Rover
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Monitoring Programs Using Rewriting
Proceedings of the 16th IEEE international conference on Automated software engineering
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
Collecting Statistics Over Runtime Executions
Formal Methods in System Design
Mop: an efficient and generic runtime verification framework
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Rule Systems for Runtime Verification: A Short Tutorial
Runtime Verification
Runtime Verification of Concurrent Haskell Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Temporal Assertions using AspectJ
Electronic Notes in Theoretical Computer Science (ENTCS)
Simple types in type theory: deep and shallow encodings
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Rule Systems for Run-time Monitoring
Journal of Logic and Computation
RV'10 Proceedings of the First international conference on Runtime verification
Self-adaptive software needs quantitative verification at runtime
Communications of the ACM
Internal versus external DSLs for trace analysis
RV'11 Proceedings of the Second international conference on Runtime verification
RV'11 Proceedings of the Second international conference on Runtime verification
Runtime verification with state estimation
RV'11 Proceedings of the Second international conference on Runtime verification
Type-Safe model transformation languages as internal DSLs in scala
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Runtime verification: the application perspective
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
What does AI have to do with RV?
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Towards certified runtime verification
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Runtime verification for multicore SoC with high-quality trace data
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Runtime verification based on register automata
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.02 |
In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the best weapon is a high level programming language augmented with constructs for temporal reasoning. A trace is a sequence of events, which may for example be generated by a running program, instrumented appropriately to generate events. The API supports writing properties in a notation that combines an advanced form of data parameterized state machines with temporal logic. The implementation utilizes SCALA's support for defining internal Domain Specific Languages (DSLs). Furthermore SCALA's combination of object oriented and functional programming features, including partial functions and pattern matching, makes it an ideal host language for such an API.