Biblio

Export 1 results:
Filters: Author is Tayfun Elmas  [Clear All Filters]
2012
Burnim J, Elmas T, Necula G, Sen K.  2012.  CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration. 4th USENIX Workshop on Hot Topics in Parallelism (HotPar 12).