An empirical investigation into branch coverage for C programs using CUTE and AUSTIN-Reference-Cited by-同舟云学术

An empirical investigation into branch coverage for C programs using CUTE and AUSTIN

Published:2010-12 Issue:12 Volume:83 Page:2379-2391
ISSN:0164-1212
Container-title:Journal of Systems and Software
language:en
Short-container-title:Journal of Systems and Software

Author:

Lakhotia Kiran,McMinn Phil,Harman Mark

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference50 articles.

1. Evolutionary testing of flag conditions;Baresel,2003

2. Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach;Baresel,2004

3. From genetic to bacteriological algorithms for mutation-based testing;Baudry;Software Testing, Verification and Reliability,2005

4. Binkley, D., Harman, M., Lakhotia, K., in press. FlagRemover: a testability transformation for loop assigned flags. Transactions on Software Engineering and Methodology.

5. Symbolic execution of floating-point computations;Botella;Software Testing, Verification and Reliability,2006

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

1. Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

2. Survey of Linux Based Free Software Tools for Remote Learning of Electrical and Computer Engineering in a Post COVID-19 Era;SSRN Electronic Journal;2023

3. Enabledness-based Testing of Object Protocols;ACM Transactions on Software Engineering and Methodology;2021-04-30

4. A Systematic Review of Search Strategies in Dynamic Symbolic Execution;Computer Standards & Interfaces;2020-10

5. A synergistic approach to improving symbolic execution using test ranges;Innovations in Systems and Software Engineering;2019-04-09