Test suite generation for boolean conditions with equivalence class partitioning-Reference-Cited by-同舟云学术

Test suite generation for boolean conditions with equivalence class partitioning

Published:2022-05-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering
language:
Short-container-title:

Author:

Hallé Sylvain¹

Affiliation:

1. Université du Québec à Chicoutimi, Chicoutimi, QC, Canada

Funder

Canada Research Chairs

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3524482.3527659

Reference38 articles.

1. MC/DC automatic test input data generation

2. R. Bloem , K. Greimel , R. Koenighofer , and F. Roeck . Model-based MCDC testing of complex decisions for the Java Card applet firewall . In VALID , pages 1 -- 6 . IARIA, 2013 . R. Bloem, K. Greimel, R. Koenighofer, and F. Roeck. Model-based MCDC testing of complex decisions for the Java Card applet firewall. In VALID, pages 1--6. IARIA, 2013.

3. A Study of Enhanced MC/DC Coverage Criterion for Software Testing

4. T. Chen and M. Lau . An empirical study on the effectiveness of the greedy MUTP strategy . In SEEP , pages 338 -- 344 . IEEE, 1998 . T. Chen and M. Lau. An empirical study on the effectiveness of the greedy MUTP strategy. In SEEP, pages 338--344. IEEE, 1998.

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

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

2. Mutant Equivalence as Monotonicity in Parametric Timed Games;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05

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