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

Full description

Bibliographic Details

Published in:	IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results (Online) pp. 31 - 35
Main Authors:	Stevens, Clay, Kjeer, Katherine, Richard, Ryan, Valeev, Edward, Cohen, Myra B.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 27.04.2025
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!