automatic test case minimization library - View it on GitHub