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

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings of the ACM on software engineering Ročník 1; číslo FSE; s. 450 - 472
Hlavní autori:	Nolasco, Agustín, Molina, Facundo, Degiovanni, Renzo, Gorla, Alessandra, Garbervetsky, Diego, Papadakis, Mike, Uchitel, Sebastian, Aguirre, Nazareno, Frias, Marcelo F.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 12.07.2024
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!