DMCA

Symbolic pruning of concurrent program executions (2009)

by Chao Wang , Aarti Gupta
Venue:In ESEC/SIGSOFT FSE
Citations:18 - 9 self