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

Vydáno v:	IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results (Online) s. 31 - 35
Hlavní autoři:	Stevens, Clay, Kjeer, Katherine, Richard, Ryan, Valeev, Edward, Cohen, Myra B.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 27.04.2025
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!