Work

A Temporal Logic Based Theory of Test Coverage and Generation

Year: 2002

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/3-540-46002-0_23

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

Institutions: University of Pennsylvania, University of Ottawa

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: National Science Foundation, Deutscher Akademischer Austauschdienst, Korea Advanced Institute of Science and Technology, Directorate for Computer and Information Science and Engineering, Defense Advanced Research Projects Agency, Army Research Office

Awards: CISE Research Infrastructure: Asymmetric Bandwidth Channels: Applications to Real-Time Computing and Robotics, An Integrated Approach to Improving Design-Time and Run-Time Confidence, ITR: RONEE - An Integrated Engineering Method and Tool Environment for Reliable Object-oriented Real-time Distributed Systems

OpenAlex ID: W1495461922

FWCI: 8.689

Cites: 27

Cited by: 137

Related to: 10