MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators. - Kyle Dewey; Shant Hairapetian; Miroslav Gavrilov (ICST, 2020)