… the first evolution-aware RV techniques that reduce RV overhead across multiple program
versions… Towards monitoring-oriented programming: A paradigm combining specification and …

… To reduce RV costs, we proposed three evolution-aware techniques that focus RV and its …
We defined an evolution-aware RV technique as safe if it finds all new violations after a change…

… However, in the context of specification mining, current evolution-aware analysis just compounds
… Techniques for runtime monitoring, such as Monitoring-Oriented Programming (MOP), …

… We also proposed evolution-aware techniques to reduce RV's runtime overhead and … We
describe EMOP's design, implementation, and usage. We evaluate EMOP on 676 versions of …

Regression test selection (RTS) aims to speed up regression testing by rerunning only tests
that are affected by code changes. RTS can be performed using static or dynamic analysis …

… program versions. RVPRIO does not require multiple program versions and is complementary
to evolutionaware RV … Rosu, “Evolution-aware monitoringoriented programming,” in ICSE …

… Therefore, we have developed the first set of evolution-aware runtime verification techniques
that reduce the accumulated overhead of runtime verification across multiple program …

… Marinov, “Techniques for evolution-aware runtime verification,” in 2019 12th IEEE Conference
… Rosu, “Evolution-aware monitoring-oriented programming,” in 2015 IEEE/ACM 37th IEEE …

… of a user-specified security policy by a program by providing a valid replacement for any
misbehaving sequence of events that may occur during that program’s execution. However, …

… the specification language with the semantics of the programming language they already
know. The methodology we used to design the specification language was driven by examples…