文献

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)

シソーラス用語： プログラム検査 ,  *デバッギング ,  特性 ,  *並列処理 ,  *インタリービング ,  判定基準 ,  *トランザクション処理 ,  負荷試験 ,  トレース【計算機】 ,  評価試験 ,  階層構造
準シソーラス用語： 並列プログラミング ,  アトミック性

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (6件)： 直列 ,  インターリービング ,  試験 ,  アトミック性 ,  バグ ,  発見