Automated Statistical Testing and Certification of a Reliable Model-Coupling Server for Scientific Computing

Seth Wolfgang, Lan Lin, Fengguang Song

Sequence-based specification and usage-driven statistical testing are designed for rigorous and cost-effective software development, offering a semi-formal approach to assessing th…