Songtao Zhang, Thomas R. Dean, Scott Knight. A lightweight approach to state based security testing. In Hakan Erdogmus, Eleni Stroulia, Darlene A. Stewart, editors, Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, October 16-19, 2006, Toronto, Ontario, Canada. pages 341-344, IBM, 2006. [doi]
Abstract is missing.