%0 Conference Paper %1 conf/ats/KomuravelliMBD11 %A Komuravelli, Anvesh %A Mitra, Srobona %A Banerjee, Ansuman %A Dasgupta, Pallab %B Asian Test Symposium %D 2011 %I IEEE Computer Society %K dblp %P 238-243 %T Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces. %U http://dblp.uni-trier.de/db/conf/ats/ats2011.html#KomuravelliMBD11 %@ 978-1-4577-1984-4

@inproceedings{conf/ats/KomuravelliMBD11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Komuravelli, Anvesh and Mitra, Srobona and Banerjee, Ansuman and Dasgupta, Pallab}, biburl = {https://www.bibsonomy.org/bibtex/2d4d256658dcb1914eeafad65586b4fd3/dblp}, booktitle = {Asian Test Symposium}, crossref = {conf/ats/2011}, ee = {https://doi.ieeecomputersociety.org/10.1109/ATS.2011.54}, interhash = {a5346b662ef85c408a88fe6ca0869e8f}, intrahash = {d4d256658dcb1914eeafad65586b4fd3}, isbn = {978-1-4577-1984-4}, keywords = {dblp}, pages = {238-243}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:36:27.000+0200}, title = {Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces.}, url = {http://dblp.uni-trier.de/db/conf/ats/ats2011.html#KomuravelliMBD11}, year = 2011 }