A temporal logic based theory of test coverage and generation (2002)

by Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural
Venue:In Tools and Algorithms for the Construction and Analysis of Systems