Author of the publication

eMOP: A Maven Plugin for Evolution-Aware Runtime Verification.

, , , , and . RV, volume 14245 of Lecture Notes in Computer Science, page 363-375. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Runtime Verification of Crypto APIs: An Empirical Study., , , , , , , , and . IEEE Trans. Software Eng., 49 (10): 4510-4525 (October 2023)Prioritizing Runtime Verification Violations., , , and . ICST, page 297-308. IEEE, (2020)An Evolutionary Study of Configuration Design and Implementation in Cloud Systems., , , , , and . ICSE, page 188-200. IEEE, (2021)How effective are existing Java API specifications for finding bugs during runtime verification?, , , , , and . Autom. Softw. Eng., 26 (4): 795-837 (2019)Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management., , , , , , , and . SOSP, page 96-112. ACM, (2023)More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes., , , , and . ISSTA, page 664-676. ACM, (2023)A framework for checking regression test selection tools., , , and . ICSE, page 430-441. IEEE / ACM, (2019)Inline Tests., , , and . ASE, page 57:1-57:13. ACM, (2022)Techniques for Evolution-Aware Runtime Verification., , , , and . ICST, page 300-311. IEEE, (2019)Evolution-aware runtime verification. University of Illinois Urbana-Champaign, USA, (2019)