Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving-Reference-Cited by-同舟云学术

Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving

Published:2023-11 Issue:11 Volume:49 Page:4964-4987
ISSN:0098-5589
Container-title:IEEE Transactions on Software Engineering
language:
Short-container-title:IIEEE Trans. Software Eng.

Author:

Wang Yang¹^ORCID,Zhang Peng²^ORCID,Sun Maolin¹^ORCID,Lu Zeyu¹^ORCID,Yang Yibiao¹^ORCID,Tang Yutian³^ORCID,Qian Junyan⁴^ORCID,Li Zhi⁴^ORCID,Zhou Yuming¹^ORCID

Affiliation:

1. State Key Laboratory for Novel Software Technology and the Department of Computer Science and Technology, Nanjing University, Nanjing, China

2. Huawei Technologies Company Ltd., Hangzhou, China

3. School of Computer Science and Engineering, University of Glasgow, Scotland, U.K.

4. Key Laboratory of Education Blockchain and Intelligent Technology, Ministry of Education, Guangxi Normal University, Guilin, China

Funder

Natural Science Foundation of China

Natural Science Foundation of Jiangsu Province

NJU-Huawei Software New Technology Joint Laboratory

CCF-Huawei Populus euphratica

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Software

Link

http://xplorestaging.ieee.org/ielx7/32/10320136/10272026.pdf?arnumber=10272026

Reference68 articles.

1. A Large-Scale Evaluation of Automated Unit Test Generation Using EvoSuite

2. On the search for industry-relevant regression testing research

3. DEMINER : test generation for high test coverage through mutant exploration

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

1. Corrections to “Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving”;IEEE Transactions on Software Engineering;2024-01