Model Assisted Refinement of Metamorphic Relations for Scientific Software

Ensuring the correctness of scientific software is challenging due to the need to represent and model complex phenomenon in a discrete form. Many dynamic approaches for correctness have been developed for numerical overflow or imprecision, which may manifest as program crashes or hangs. Less effort...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results (Online) S. 31 - 35
Hauptverfasser:	Stevens, Clay, Kjeer, Katherine, Richard, Ryan, Valeev, Edward, Cohen, Myra B.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 27.04.2025
Schlagworte:	abstraction and refinement Data mining Data models Iterative methods Libraries metamorphic testing Model checking Numerical models Quantum chemistry scientific software Software Software engineering Testing
ISSN:	2832-7632
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!