A Yorihiro, P Jiang, V Marqués… - … Conference, RV 2023 …, 2023 - books.google.com
We present EMOP, a tool for incremental runtime verification (RV) of test executions during
software evolution. We previously used RV to find hundreds of bugs in open-source projects …