Greedy combinatorial test case generation using unsatisfiable cores-Reference-Cited by-同舟云学术

Greedy combinatorial test case generation using unsatisfiable cores

Published:2016-08-25 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Yamada Akihisa¹,Biere Armin²,Artho Cyrille³,Kitamura Takashi³,Choi Eun-Hye³

Affiliation:

1. University of Innsbruck, Austria

2. JKU Linz, Austria

3. AIST, Japan

Funder

Japan Science and Technology Agency

Publisher

ACM

Link

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

Reference39 articles.

1. Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

2. A. Biere . Yet another local search solver and Lingeling and friends entering the SAT Competition 2014 . In SAT Competition 2014 volume B-2014- 2 of Department of Computer Science Series of Publications B pages 39– 40 . University of Helsinki 2014. A. Biere. Yet another local search solver and Lingeling and friends entering the SAT Competition 2014. In SAT Competition 2014 volume B-2014-2 of Department of Computer Science Series of Publications B pages 39– 40. University of Helsinki 2014.

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

1. Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Solving the t -wise Coverage Maximum Problem via Effective and Efficient Local Search-based Sampling;ACM Transactions on Software Engineering and Methodology;2024-08-16

3. A Scalable t-Wise Coverage Estimator: Algorithms and Applications;IEEE Transactions on Software Engineering;2024-08

4. Effectively computing high strength mixed covering arrays with constraints;Journal of Parallel and Distributed Computing;2024-03

5. CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30