Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta
Test generation games from formal specifications
DAC, 2006.
@inproceedings{DAC-2006-BanerjeePDKD, author = "Ansuman Banerjee and Bhaskar Pal and Sayantan Das and Abhijeet Kumar and Pallab Dasgupta", booktitle = "{Proceedings of the 43rd Design Automation Conference}", doi = "10.1145/1146909.1147120", isbn = "1-59593-381-6", pages = "827--832", publisher = "{ACM}", title = "{Test generation games from formal specifications}", year = 2006, }