Efficient concurrency-bug detection across inputs
2013 ◽
Vol 48
(10)
◽
pp. 785-802
◽
Dongdong Deng
◽
Wei Zhang
◽
Shan Lu
2012 ◽
Vol 47
(6)
◽
pp. 543-554
◽
Santosh Nagarakatte
◽
Sebastian Burckhardt
◽
Milo M.K. Martin
◽
Madanlal Musuvathi
Ruirui Huang
◽
Erik Halberg
◽
G. Edward Suh
2017 ◽
Vol 26
(3)
◽
pp. 855-889
◽
Haojie Fu
◽
Zan Wang
◽
Xiang Chen
◽
Xiangyu Fan
2014 ◽
Vol 43
(2)
◽
pp. 260-285
◽
Zhendong Wu
◽
Kai Lu
◽
Xiaoping Wang
◽
Xu Zhou
2013 ◽
Vol 86
(2)
◽
pp. 377-388
◽
Zan Wang
◽
Dongdi Zhang
◽
Shuang Liu
◽
Jun Sun
◽
Yingquan Zhao
Dongdong Deng
◽
Wei Zhang
◽
Shan Lu
Jeremy S. Bradbury
◽
Itai Segall
◽
Eitan Farchi
◽
Kevin Jalbert
◽
David Kelk
2013 ◽
Vol 41
(3)
◽
pp. 655-666
◽
Ruirui Huang
◽
Erik Halberg
◽
G. Edward Suh
Zhendong Wu
◽
Kai Lu
◽
Xiaoping Wang
◽
Xu Zhou