Hong, H.S., Lee, I., Sokolsky, O. and Ural, H. (2002) A Temporal Logic Based Theory of Test Coverage and Generation. Lecture Notes in Computer Science, 2280, 327-341. http://dx.doi.org/10.1007/3-540-46002-0_23
has been cited by the following article:
Related Articles: