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á bibliografie

Vydáno v:	Proceedings of the ACM on software engineering Ročník 1; číslo FSE; s. 450 - 472
Hlavní autoři:	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:	angličtina
Vydáno:	New York, NY, USA ACM 12.07.2024
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!