Model-based mutation testing via symbolic refinement checking
Author:
Funder
ARTEMIS Joint Undertaking
Austrian Research Promotion Agency
Publisher
Elsevier BV
Subject
Software
Reference35 articles.
1. An analysis and survey of the development of mutation testing;Jia;IEEE Trans. Softw. Eng.,2011
2. Testing programs with the aid of a compiler;Hamlet;IEEE Trans. Softw. Eng.,1977
3. Hints on test data selection: help for the practicing programmer;DeMillo;IEEE Comput.,1978
4. A taxonomy of model-based testing approaches;Utting;Softw. Test. Verif. Reliab.,2011
5. Practical Model-Based Testing: A Tools Approach;Utting,2007
Cited by 24 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Efficient Dynamic Model Based Testing;Formal Techniques for Distributed Objects, Components, and Systems;2023
2. Mutation testing with hyperproperties;Software and Systems Modeling;2021-04
3. Model-Based Test Case Prioritization Using an Alternating Variable Method for Regression Testing of a UML-Based Model;Applied Sciences;2020-10-26
4. Model Testing of Complex Embedded Systems Using EAST-ADL and Energy-Aware Mutations;Designs;2020-02-19
5. A Model-Based Quantitative Analysis Methodology for Automatic Train Operation System via Conformance Relation;Lecture Notes in Electrical Engineering;2020
1.学者识别学者识别
2.学术分析学术分析
3.人才评估人才评估
"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370
www.globalauthorid.com
TOP
Copyright © 2019-2024 北京同舟云网络信息技术有限公司 京公网安备11010802033243号 京ICP备18003416号-3