Shaoying Liu, Shin Nakajima. A framework for automatic functional testing based on formal specifications. In Antonia Bertolino, Howard Foster, J. Jenny Li, editors, Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011. pages 107-108, ACM, 2011. [doi]
Abstract is missing.