Automatic Cross Validation of Multiple Specifications: A Case Study