Evolution-aware monitoring-oriented programming

O Legunsen, D Marinov, G Rosu - 2015 IEEE/ACM 37th IEEE …, 2015 - ieeexplore.ieee.org
Monitoring-Oriented Programming (MOP) helps develop more reliable software by means of
monitoring against formal specifications. While MOP showed promising results, all prior …

Evolution oriented monitoring oriented to security properties for cloud applications

J Toutouh, A Muñoz, S Nesmachnow - Proceedings of the 13th …, 2018 - dl.acm.org
… The evolution-aware cloud applications are created using a specific methodology and they
… Figure 3 shows the evolution process for our proposal of evolution-aware cloud applications …

Evolution Oriented Monitoring oriented to Security Properties for Cloud Applications

AJ Muñoz-Gallego - 2018 - riuma.uma.es
… The evolution-aware cloud applications are created using a specific methodology and they
… Figure 3 shows the evolution process for our proposal of evolution-aware cloud applications …

Techniques for evolution-aware runtime verification

O Legunsen, Y Zhang, M Hadzi-Tanovic… - 2019 12th IEEE …, 2019 - ieeexplore.ieee.org
… the first evolution-aware RV techniques that reduce RV overhead across multiple program
versions… Towards monitoring-oriented programming: A paradigm combining specification and …

eMOP: A Maven Plugin for Evolution-Aware Runtime Verification

A Yorihiro, P Jiang, V Marqués, B Carleton… - … Conference on Runtime …, 2023 - Springer
… 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…

[PDF][PDF] Incremental Specification Mining CS 6156

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

A specification and detection approach for parallel evolution conflicts of software architectures

H Xu, W Song, Z Liu - International Journal of Software Engineering …, 2017 - World Scientific
Software evolution has been a necessary part of the software development, while software
architecture evolution is an important issue of software evolution. Software architecture …

and Owolabi Legunsen Cornell University, Ithaca, USA {ay436, pj257, vmm49, bc534, legunsen}@ cornell. edu

A Yorihiro, P Jiang, V Marqués… - … Conference, RV 2023 …, 2023 - books.google.com
… 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 …

[PDF][PDF] Position Presentation

M Utting, M Utting - NII Shonan Meeting Report, 2014 - research.usc.edu.au
Monitoring-Oriented Programming (MOP) helps develop more reliable software by means
of monitoring against formal specifications. While MOP showed promising results, all prior …

An extensive study of static regression test selection in modern software evolution

O Legunsen, F Hariri, A Shi, Y Lu, L Zhang… - Proceedings of the …, 2016 - dl.acm.org
Regression test selection (RTS) aims to reduce regression testing time by only re-running
the tests affected by code changes. Prior research on RTS can be broadly split into dy namic …