Bernhard K. Aichernig, Christian Burghard. Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT. In Valentina Casola, Alessandra De Benedictis, Massimiliano Rak, editors, Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings. Volume 12543 of Lecture Notes in Computer Science, pages 35-51, Springer, 2020. [doi]
Abstract is missing.