Sourasis Das

According to our database, Sourasis Das authored at least 2 papers in 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

A Generalized Theory for Formal Assertion Coverage.

Sourasis Das, Ansuman Banerjee, Pallab Dasgupta

Proceedings of the 21st IEEE Asian Test Symposium, 2012