Automatic Evaluation and Minimization of Assertions
摘要
The assertions generated by assertion miners often exhibit drawbacks such as redundancy and inconsistency.