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

by H S Hong, I Lee, O Sokolsky, H Ural
Venue:In TACAS 2002