Modeling Input Space for Testing Scientific Computational Software: A Case Study Conference Paper June, 2008