More precise regression test selection via reasoning about semantics-modifying changes

[PDF] cornell.edu

eMOP: A Maven Plugin for Evolution-Aware Runtime Verification

A Yorihiro, P Jiang, V Marqués, B Carleton… - … Conference on Runtime …, 2023 - Springer
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 …
被引用次数：1 相关文章 所有 5 个版本
[PDF] acm.org

Extracting Inline Tests from Unit Tests

Y Liu, P Nie, A Guo, M Gligoric… - Proceedings of the 32nd …, 2023 - dl.acm.org
We recently proposed inline tests for validating individual program statements; they allow
developers to provide test inputs, expected outputs, and test oracles immediately after a …
被引用次数：2 相关文章 所有 8 个版本

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 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 …
相关文章