Mutation Coverage Estimation for Model Checking-Reference-Cited by-同舟云学术

Mutation Coverage Estimation for Model Checking

Published:2004 Issue: Volume: Page:354-368
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Lee Te-Chang,Hsiung Pao-Ann

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30476-0_29.pdf

Reference17 articles.

1. Abramovici, M.: Dos and don’ts in computing fault coverage. In: Proceedings of the International Test Conference (ITC 1993), p. 594 (October 1993)

2. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)

3. Lecture Notes in Computer Science;I. Beer,1997

4. Chockler, H., Kupferman, O.: Coverage of implementations by simulating specifications. In: Proceedings of the IFIP International Conference on Theoretical Computer Science (TCS 2002), August 2002, pp. 409–421. Kluwer, Dordrecht (2002)

5. Lecture Notes in Computer Science;H. Chockler,2001

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

1. How verified (or tested) is my code? Falsification-driven verification and testing;Automated Software Engineering;2018-07-11

2. Fault-based test generation for regular expressions by mutation;Software Testing, Verification and Reliability;2018-03-08

3. Using mutation to assess fault detection capability of model review;Software Testing, Verification and Reliability;2014-04-25

4. Formal Plausibility Checks for Environment Constraints;Lecture Notes in Electrical Engineering;2013-08-14

5. Proof Process Evaluation with Mutation Analysis;Tests and Proofs;2010