Ural H., A Temporal Logic Based Theory of Test Coverage (2002)

by Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural
Venue:and Generation, International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS2002