Constance L. Heitmeyer. A Model-Based Approach to Testing Software for Critical Behavior and Properties. In Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado, editors, Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings. Volume 6435 of Lecture Notes in Computer Science, pages 15, Springer, 2010. [doi]
Abstract is missing.