An Interactive Empirical Approach to the Validation of Software Package Specifications. - S. D. Fraser; Peter P. Silvester (CoRR, 2024)