A Temporal Logic Based Theory of Test Coverage and Generation (2002)

by H Seok Hong, I Lee, O Sokolsky, H Ural
Venue:In Proc. 8th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS