Ahmet Çelik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric
Bounded exhaustive test-input generation on GPUs
OOPSLA, 2017.
@article{OOPSLA-2017-CelikPKG, author = "Ahmet Çelik and Sreepathi Pai and Sarfraz Khurshid and Milos Gligoric", doi = "10.1145/3133918", journal = "{Proceedings of the ACM on Programming Languages}", number = "OOPSLA", pages = "25", publisher = "{ACM}", title = "{Bounded exhaustive test-input generation on GPUs}", volume = 1, year = 2017, }