Generating test data from state-based specifications

A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann. Generating test data from state-based specifications. Softw. Test., Verif. Reliab., 13(1):25-53, 2003. [doi]

Abstract

Abstract is missing.