A. Jefferson Offutt Shaoying Liu Aynur Abdurazik Paul Ammann Generating test data from state-based specifications. 25-53 2003 13 Softw. Test., Verif. Reliab. 1 http://dx.doi.org/10.1002/stvr.264 db/journals/stvr/stvr13.html#OffuttLAA03