RFixer: a tool for repairing complex regular expressions using examples
This artifact contains the virtual machine image that has RFixer installed. RFixer is a tool for repairing complex regular expressions using examples. Given an incorrect regular expression and sets of positive and negative examples, RFixer synthesizes the closest regular expression to the original one that is consistent with the examples. The paper "Automatic Repair of Regular Expressions" that describes RFixer is conditionally accepted at OOPSLA 2019. The Step-by-Step Instructions in the README file explains how to reproduce the paper's results.