MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators.

Kyle Dewey, Shant Hairapetian, Miroslav Gavrilov

Browse the full ICST paper archive.