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

Celý popis

Podrobná bibliografia

Vydané v:	IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results (Online) s. 31 - 35
Hlavní autori:	Stevens, Clay, Kjeer, Katherine, Richard, Ryan, Valeev, Edward, Cohen, Myra B.
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 27.04.2025
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!