Srobona Mitra

Publication Activity (10 Years)

Years Active: 1997-2013
Publications (10 Years): 0

Top Topics

Ranking Algorithm

Bug Localization

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

IET Comput. Digit. Tech.

Publications

Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta, Priyankar Ghosh, Harish Kumar
Formal Guarantees for Localized Bug Fixes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (8) (2013)
Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta, Harish Kumar
Counterexample Ranking Using Mined Invariants. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (12) (2013)
Srobona Mitra, Priyankar Ghosh, Pallab Dasgupta
Verification by parts: reusing component invariant checking results. IET Comput. Digit. Tech. 6 (1) (2012)
Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta
Formal methods for ranking counterexamples through assumption mining. DATE (2012)
Anvesh Komuravelli, Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta
Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces. Asian Test Symposium (2011)
Aritra Hazra, Srobona Mitra, Pallab Dasgupta, Ajit Pal, Debabrata Bagchi, Kaustav Guha
Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent. DAC (2010)
Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan
Cohesive Coverage Management for Simulation and Formal Property Verification. ISVLSI (2008)
Anirban Lahiri, Anupam Basu, Monojit Choudhury, Srobona Mitra
Battery-aware code partitioning for a text to speech system. DATE (2006)
Chunduri Rama Mohan, Srobona Mitra, Partha Pal Chaudhuri
On Incorporation of BIST for the Synthesis of Easily and Fully Testable Controllers. VLSI Design (1997)