Peng Lu. Test case generation for specification-based software testing. In John E. Botsford, Ann Gawman, W. Morven Gentleman, Evelyn Kidd, Kelly A. Lyons, Jacob Slonim, J. Howard Johnson, editors, Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31 - November 3, 1994, Toronto, Ontario, Canada. pages 41, IBM, 1994. [doi]
Abstract is missing.