Lines or Less: Test Case Minimization
matklad.github.io