A Generalized Theory for Formal Assertion Coverage. - Sourasis Das; Ansuman Banerjee; Pallab Dasgupta (Asian Test Symposium, 2012)

Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications. - Sourasis Das; Ansuman Banerjee; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)