Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems-Reference-Cited by-同舟云学术

Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems

Published:2003 Issue: Volume: Page:160-176
ISSN:0302-9743
Container-title:Formal Techniques for Networked and Distributed Systems - FORTE 2003
language:
Short-container-title:

Author:

Wang Farn,Hwang Geng-Dian,Yu Fang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39979-7_11

Reference30 articles.

1. Alur, R., Courcoubetis, C., Dill, D.L.: Model Checking for Real-Time Systems. IEEE LICS (1990)

2. Lecture Notes in Computer Science;R. Alur,1990

3. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic Model Checking: 1020 States and Beyond. IEEE LICS (1990)

4. Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Rheinhold, New York (1990)

5. Bening, L., Foster, H.: Principles of Verifiable RTL Design, a Functional Coding Style Supporting Verification Processes in Verilog, 2nd edn. Kluwer Academic Publishers, Dordrecht (2001)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Testability Driven Development (TsDD);Software Testing Automation;2023

2. Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis;Testing of Software and Communicating Systems;2008

3. Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems;Automated Technology for Verification and Analysis;2005

4. Efficient verification of timed automata with BDD-like data structures;International Journal on Software Tools for Technology Transfer;2004-04-16

5. Mutation Coverage Estimation for Model Checking;Automated Technology for Verification and Analysis;2004