Using mutation to assess fault detection capability of model review-Reference-Cited by-同舟云学术

Using mutation to assess fault detection capability of model review

Published:2014-04-25 Issue:5-7 Volume:25 Page:629-652
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Arcaini Paolo¹,Gargantini Angelo¹,Riccobene Elvinia²

Affiliation:

1. Dipartimento di Ingegneria; Università degli Studi di Bergamo; Dalmine Italy

2. Dipartimento di Informatica; Università degli Studi di Milano; Milan Italy

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Link

http://onlinelibrary.wiley.com/wol1/doi/10.1002/stvr.1530/fullpdf

Reference42 articles.

1. A model advisor for NuSMV specifications;Arcaini;Innovations in Systems and Software Engineering,2011

2. An analysis and survey of the development of mutation testing;Jia;IEEE Transactions on Software Engineering,2011

3. Fabbri SCPF Delamaro ME Maldonado JC Masiero PC Mutation analysis testing for finite state machines Proceedings of the 5th International Symposium on Software Reliability Engineering 1994 220 229

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

1. Mutation-based analysis of queueing network performance models;Journal of Systems and Software;2022-09

2. Mutation testing with hyperproperties;Software and Systems Modeling;2021-04

3. Mutation Testing Advances: An Analysis and Survey;Advances in Computers;2019

4. Mutation Testing with Hyperproperties;Software Engineering and Formal Methods;2019

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