Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho. Toward an Encoding Approach to Interaction-based Test Suite Minimization. In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020. pages 211-212, IEEE, 2020. [doi]
Abstract is missing.