BERT: a tool for behavioral regression testing
BERT: BEhavioral Regression Testing