Reconciling perspectives of software logic testing-Reference-Cited by-同舟云学术

Reconciling perspectives of software logic testing

Published:2008-09 Issue:3 Volume:18 Page:149-188
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Kaminski Garrett,Williams Gregory,Ammann Paul

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Reference11 articles.

1. An extended fault class hierarchy for specification-based testing;Lau;ACM Transactions on Software Engineering and Methodology,2005

2. Fault classes and error detection capability of specification based testing;Richard Kuhn;ACM Transactions on Software Engineering and Methodology,1999

3. Test case selection strategies based on Boolean specifications;Chen;Software Testing, Verification, and Reliability,2001

4. Yu YT, Lau MF. Comparing several coverage criteria for detecting faults in logical decisions. Proceedings of the Fourth International Conference on Quality Software (QSIC 2004), Braunschweig, Germany, 2004; 14-21.

5. Chilenksi JJ. An investigation of three forms of the modified condition decision coverage (MCDC) criterion. Final Technical Report, DOT/FAA/AR-01/18, April 2001.

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

1. A method to identify overfitting program repair patches based on expression tree;Science of Computer Programming;2024-07

2. Spectral Test Generation for Boolean Expressions;International Journal of Software Engineering and Knowledge Engineering;2023-07-12

3. A Method to Identify Overfitting Program Repair Patches Based on Expression Tree;2023

4. Test suite generation for boolean conditions with equivalence class partitioning;Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering;2022-05-18

5. CTFTP: A Test Case Generation Strategy for General Boolean Expressions Based on Ordered Binary Label-Driven Petri Nets;IEEE Access;2020