DSGEN: concolic testing GPU implementations of concurrent dynamic data structures.

Xiaofan Sun, Rajiv Gupta

Browse the full ICS paper archive.