Mini-Me: A min-repro system for database software | IEEE Conference Publication | IEEE Xplore