Mutation coverage estimation for model checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3299, Issue , 2004, Pages 354-368

  Lee, Te Chang ^a   Hsiung, Pao Ann ^a  

^a NATIONAL CHUNG CHENG UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; ESTIMATION; SPECIFICATIONS;

APPLICATION EXAMPLES; COMPLETE SOLUTIONS; COVERAGE ESTIMATIONS; COVERAGE ESTIMATORS; COVERAGE METRICS; PROPERTY SPECIFICATION; SYMBOLIC SIMULATION; VERIFICATION ENGINEERS;

MODEL CHECKING;

EID: 35048865012     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30476-0_29     Document Type: Article

References (17)

1. M. Abramovici. Dos and don'ts in computing fault coverage. In Proceedings of the International Test Conference (ITC'93), page 594, October 1993.
2. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
3. I. Beer, S. Ben-David, C. Eisner, and Y. Rodeh. Efficient detection of vacuity in ACTL formulas. In Proceedings of the International Conference on Computer-Aided Verification (CAV'97), Lecture Notes in Computer Science 1254, pages 279-290. Springer-Verlag, June 1997.
4. H. Chockler and O. Kupferman. Coverage of implementations by simulating specifications. In Proceedings of the IFIP International Conference on Theoretical Computer Science (TCS 2002), pages 409-421. Kluwer, August 2002.
5. H. Chockler, O. Kupferman, R. P. Kurshan, and M. Y. Vardi. A practical approach to coverage in model checking. In Proceedings of the International Conference on Computer Aided Verification (CAV'01), Lecture Notes in Computer Science 2102, pages 66-78. Springer-Verlag, July 2001.
6. H. Chockler, O. Kupferman, and M. Y. Vardi. Coverage metrics for temporal logic model checking. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 2031, pages 528-542. Springer-Verlag, April 2001.
7. H. Chockler, O. Kupferman, and M. Y. Vardi. Coverage metrics for formal verification. In Proceedings of the International Conference on Correct Hardware Design and Verification Methods (CHARME), Lecture Notes in Computer Science 2860, pages 111-125. Springer-Verlag, October 2003.
8. T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. In Proceedings of the IEEE International Conference on Logics in Computer Science (LICS'92), pages 394-406, June 1992.
9. Y. Hoskote, T. Kam, P.-H. Ho, and X. Zhao. Coverage estimation for symbolic model checking. In Proceedings of the Design Automation Conference, pages 300-305, June 1999.
10. N. Jayakumar, M. Purandare, and F. Somenzi. Dos and don'ts of CTL state coverage estimation. In Proceedings of the Design Automation Conference (DAC'03), pages 292-295. ACM Press, June 2003.
11. S. Katz, O. Grumberg, and D. Geist. "Have I written enough properties?" - A method of comparison between specification and implementation. In Proceedings of the Correct Hardware Design and Verification Methods (CHARME'99), Lecture Notes in Computer Science 1703, pages 280-297. Springer-Verlag, September 1999.
12. Von-Kyoung Kim, Tom Chen, and Mick Tegetho. Fault coverage estimation for early stage of VLSI design. In Proceedings of Ninth Great Lakes Symposium on VLSI (GLSVLSI'99), pages 105-108, March 1999.
13. C.-N. Liu and J.-Y. Jou. Efficient coverage analysis metric for HDL design validation. In Proceedings of IEEE International Conference on Computers and Digital Techniques, pages 1-6, January 2001.
14. W. Mao and Gulati. R. K. Improving gate level fault coverage by RTL fault grading. In Proceedings of IEEE International Test Conference 1996, Test and Design Validity, pages 150-159. IEEE Computer Society, October 1996.
15. F. Wang and P.-A. Hsiung. "Efficient and user-friendly verification. IEEE Transactions on Computers, 51(1):61-83, January 2002.
16. F. Wang, G.-D. Hwang, and F. Yu. Numerical coverage estimation for the symbolic simulation of real-time systems. In Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Lecture Notes in Computer Science 2676, pages 160-176. Springer-Verlag, September 2003.
17. M.R. Woodward. Mutation testing - an evolving technique. In Proceedings of IEE Colloquium on Software Testing for Critical Systems, pages 3/1-3/6, June 1990.