Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving
Andrew Healy, Rosemary Monahan, James F. Power · 2016
Benchmark suites are an important resource in validating performance requirements for software. However, generalpurpose suites may be unsuitable for domain-specific purposes, and may provide an incorrect indication of the software performance.