Pritam Roy, Sagar Chaki, Pankaj Chauhan
High Coverage Concolic Equivalence Checking
DATE, 2019.
@inproceedings{DATE-2019-RoyCC,
author = "Pritam Roy and Sagar Chaki and Pankaj Chauhan",
booktitle = "{Proceedings of the 23rd Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.23919/DATE.2019.8715131",
isbn = "978-3-9819263-2-3",
pages = "462--467",
publisher = "{IEEE}",
title = "{High Coverage Concolic Equivalence Checking}",
year = 2019,
}