Information Technology Reference
In-Depth Information
10. Yan, J., Zhang, J.: A backtracking search tool for constructing combinatorial test suites. J. Syst.
Softw. 81 (10), 1681-1693 (2008)
11. Yu, L., Lei, Y., Nourozborazjany, M., Kacker, R. N., Kuhn, D. R.: An efficient algorithm for
constraint handling in combinatorial test generation. In: Proceedings of the Sixth International
Conference on Software Testing, Verification and Validation (ICST'13), pp. 242-251 (2013)
12. Zhang, J.: Automatic symmetry breaking method combined with SAT. In: Proceedings of the
ACM Symposium on Applied Computing (SAC'01), pp. 17-21 (2001)
13. Zhang, J., Zhang, H.: SEM: a system for enumerating models. In: Proceedings of IJCAI-95,
pp. 298-303 (1995)
Search WWH ::




Custom Search