Abstraction-Aware Inference of Metamorphic Relations

Metamorphic testing is a valuable technique that helps address the oracle problem in software testing. This paper introduces MemoRIA, a technique for automatically inferring metamorphic relations using object protocol abstractions, fuzzing, and runtime validation.