Test generation games from formal specifications.

Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta

Browse the full DAC paper archive.