A Temporal Logic Based Theory of Test Coverage and Generation.

Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural

Browse the full TACAS paper archive.