Testing Scientific Software with Invariant Relations: A Case Study.

Junhua Ding, XinChuan Li, Xin-Hua Hu

Browse the full QRS paper archive.