a temporal logic based theory of test coverage

7/29/2019 A Temporal Logic Based Theory of Test Coverage

1/16

University of Pennsylvania

ScholarlyCommons

Departmental Papers (CIS) Department of Computer & Information Science

4-8-2002

A Temporal Logic Based Theory of Test Coverageand Generation

Hyoung Seok HongUniversity of Pennsylvania

Insup LeeUniversity of Pennsylvania, [email protected]

Oleg SokolskyUniversity of Pennsylvania, [email protected]

Hasan UralUniversity of Ottawa

Postprint version. Published inLecture Notes in Computer Science, Volume 2280, Tools and Algorithms for the Construction and Analysis of Systems :

8th International Conference, 2002, (TACAS 2002), pages 327-341.

Publisher URL: http://springerlink.metapress.com/link.asp?id=105633

This paper is posted at ScholarlyCommons.http://repository.upenn.edu/cis_papers/99

For more information, please contact [email protected].
http://repository.upenn.edu/http://repository.upenn.edu/cis_papershttp://repository.upenn.edu/cishttp://repository.upenn.edu/cis_papers/99mailto:[email protected]:[email protected]://repository.upenn.edu/cis_papers/99http://repository.upenn.edu/cishttp://repository.upenn.edu/cis_papershttp://repository.upenn.edu/


2/16

- -

-

-

- -


3/16

-

-


4/16

- -

-

-

-

-

- -

-

-

-

- -


5/16


6/16


7/16


8/16

-


9/16

-

-

-


10/16


11/16


12/16


13/16


14/16

- -

-

-


15/16


16/16

a temporal logic based theory of test coverage

Documents