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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of the ACM on software engineering Jg. 1; H. FSE; S. 450 - 472
Hauptverfasser:	Nolasco, Agustín, Molina, Facundo, Degiovanni, Renzo, Gorla, Alessandra, Garbervetsky, Diego, Papadakis, Mike, Uchitel, Sebastian, Aguirre, Nazareno, Frias, Marcelo F.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 12.07.2024
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!