George F. Corliss, Jun Yu. Interval Testing Strategies Applied to COSY s Interval and Taylor Model Arithmetic. In René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther, editors, Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers. Volume 2991 of Lecture Notes in Computer Science, pages 91-106, Springer, 2003. [doi]
Abstract is missing.