Junhua Ding, Xinchuan Li, Xin-Hua Hu. Testing Scientific Software with Invariant Relations: A Case Study. In 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019, Sofia, Bulgaria, July 22-26, 2019. pages 406-417, IEEE, 2019. [doi]
Abstract is missing.