BERT: a tool for behavioral regression testing
Automated Behavioral Regression Testing