Author:
Tong Jason G.,Boulé Marc,Zilic Zeljko
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering
Reference29 articles.
1. Ammann P, Offutt J (2008) Introduction to software testing. Cambridge University Press, New York
2. Anderson TL (2005) Coverage is the heart of verification. EETimes. Available online: http://www.eetimes.com/news/design/features/showArticle.jhtml?articleID=60400630
3. ser. Lecture notes in computer science;T Ball,2008
4. Beer I, Ben-David S, Eisner C, Rodeh Y (2001) Efficient detection of vacuity in temporal model checking. Form Methods Syst Des 18(2):141–163
5. Bening L, Foster H (2001) Principles of verifiable RTL design. Kluwer Academic, Norwell
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Test compaction techniques for assertion-based test generation;ACM Transactions on Design Automation of Electronic Systems;2013-12
2. Online Testing of LTL Properties for Java Code;Hardware and Software: Verification and Testing;2013
3. Concurrency-oriented verification and coverage of system-level designs;ACM Transactions on Design Automation of Electronic Systems;2011-10