Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta
Formal methods for ranking counterexamples through assumption mining
DATE, 2012.
@inproceedings{DATE-2012-MitraBD, acmid = "2492937", author = "Srobona Mitra and Ansuman Banerjee and Pallab Dasgupta", booktitle = "{Proceedings of the 16th Conference and Exhibition on Design, Automation and Test in Europe}", isbn = "978-1-4577-2145-8", pages = "911--916", publisher = "{IEEE}", title = "{Formal methods for ranking counterexamples through assumption mining}", year = 2012, }