文献
J-GLOBAL ID:201202248795205445
整理番号:12A1304995
直列化不可能なインターリービング試験を通したアトミック性違反バグの発見
Finding Atomicity-Violation Bugs through Unserializable Interleaving Testing
著者 (3件):
LU Shan
(Univ. Wisconsin-Madison, WI)
,
PARK Soyeon
(Univ. California, CA)
,
ZHOU Yuanyuan
(Univ. California, CA)
資料名:
IEEE Transactions on Software Engineering
(IEEE Transactions on Software Engineering)
巻:
38
号:
4
ページ:
844-860
発行年:
2012年07月
JST資料番号:
D0480D
ISSN:
0098-5589
CODEN:
IESEDJ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)