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]
@article{OffuttLAA03, title = {Generating test data from state-based specifications}, author = {A. Jefferson Offutt and Shaoying Liu and Aynur Abdurazik and Paul Ammann}, year = {2003}, doi = {10.1002/stvr.264}, url = {http://dx.doi.org/10.1002/stvr.264}, tags = {rule-based, testing, data-flow}, researchr = {https://researchr.org/publication/OffuttLAA03}, cites = {0}, citedby = {0}, journal = {Softw. Test., Verif. Reliab.}, volume = {13}, number = {1}, pages = {25-53}, }