A framework for generating tests based on your production bugs