Cited in
(50)- Axiomatizing recursion-free, regular monitors
- A brief account of runtime verification
- Integrating a formal method into a software engineering process with UML and Java
- Mu-calculus path checking
- Combining test case generation and runtime verification
- Tools and Algorithms for the Construction and Analysis of Systems
- Combining model checking and testing
- Efficient abstraction algorithms for predicate detection
- A compiler for MSVL and its applications
- An extended account of contract monitoring strategies as patterns of communication
- jContractor
- FoCs
- veriSoft
- CalFuzzer
- ADL
- scientific article; zbMATH DE number 1951185 (Why is no real title available?)
- Bandera
- Atomizer
- Eraser
- Velodrome
- ConTest
- HITEC
- SAL
- Contract
- Snugglebug
- Java-MOP
- MOP
- RiTHM
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Looper
- Java-MaC
- Racket
- TreatJS
- StaRVOOrS
- jPredictor
- CATG
- AGEDIS
- Copilot
- Jass
- TGV
- Automation of the construction of models of normal program behavior
- Time-triggered runtime verification
- AMT
- Con2colic
- scientific article; zbMATH DE number 2080059 (Why is no real title available?)
- Formal Approaches to Software Testing
- scientific article; zbMATH DE number 2043550 (Why is no real title available?)
- Runtime verification of embedded real-time systems
- Analog property checkers: a DDR2 case study
- Rewriting logic: Roadmap and bibliography
This page was built for software: JPAX
