Formal methods for ranking counterexamples through assumption mining.

Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta

Browse the full DATE paper archive.