Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta. Test generation games from formal specifications. In Ellen Sentovich, editor, Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006. pages 827-832, ACM, 2006. [doi]
@inproceedings{BanerjeePDKD06,
title = {Test generation games from formal specifications},
author = {Ansuman Banerjee and Bhaskar Pal and Sayantan Das and Abhijeet Kumar and Pallab Dasgupta},
year = {2006},
doi = {10.1145/1146909.1147120},
url = {http://doi.acm.org/10.1145/1146909.1147120},
tags = {testing},
researchr = {https://researchr.org/publication/BanerjeePDKD06},
cites = {0},
citedby = {0},
pages = {827-832},
booktitle = {Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006},
editor = {Ellen Sentovich},
publisher = {ACM},
isbn = {1-59593-381-6},
}