1. Banbara, M., Tamura, N., Inoue, K.: Generating event-sequence test cases by answer set programming with the incidence matrix. In: Technical Communications of the 28th International Conference on Logic Programming (ICLP’12). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2012)
2. Bombarda, A., Gargantini, A.: An automata-based generation method for combinatorial sequence testing of finite state machines. In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 157–166 (2020)
3. Brain, M., Erdem, E., Inoue, K., Oetsch, J., Puhrer, J., Tompits, H., Yilmaz, C.: Event-sequence testing using answer-set programming. Int. J. Adv. Softw. 5 (2012)
4. Buchberger, B.: Ein algorithmus zum auffinden der basiselemente des restklassenringes nach einem nulldimensionalen polynomideal. Ph.D. Thesis, Universität Innsbruck
5. Chee, Y.M., Colbourn, C.J., Horsley, D., Zhou, J.: Sequence covering arrays. SIAM J. Discrete Math. 27(4), 1844–1861 (2013)