A Survey on Automatic Assertion Miners.

Mohammad Reza Heidari Iman, Giorgio Di Natale, Katell Morin-Allory

Browse the full DDECS paper archive.