Abstraction-Aware Inference of Metamorphic Relations

Metamorphic testing is a valuable technique that helps in dealing with the oracle problem. It involves testing software against specifications of its intended behavior given in terms of so called metamorphic relations, statements that express properties relating different software elements (e.g., di...

Full description

Bibliographic Details

Published in:	Proceedings of the ACM on software engineering Vol. 1; no. FSE; pp. 450 - 472
Main Authors:	Nolasco, Agustín, Molina, Facundo, Degiovanni, Renzo, Gorla, Alessandra, Garbervetsky, Diego, Papadakis, Mike, Uchitel, Sebastian, Aguirre, Nazareno, Frias, Marcelo F.
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 12.07.2024
Subjects:	Dynamic analysis Program specifications Software and its engineering Software testing and debugging Theory of computation grammar-based fuzzing oracle problem Metamorphic testing
ISSN:	2994-970X, 2994-970X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!