Li Tan, Oleg Sokolsky, Insup Lee. Specification-based Testing with Linear Temporal Logic. In Du Zhang, Éric Grégoire, Doug DeGroot, editors, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, IRI - 2004, November 8-10, 2004, Las Vegas Hilton, Las Vegas, NV, USA. pages 493-498, IEEE Systems, Man, and Cybernetics Society, 2004.
Abstract is missing.