Kyle Dewey, Shant Hairapetian, Miroslav Gavrilov. MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators. In 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020. pages 51-62, IEEE, 2020. [doi]
Abstract is missing.