DMCA

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

Cached

Download Links

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
Citations:60 - 7 self