Localization of Linearizability Faults on the Coarse-Grained Level
暂无分享,去创建一个
[1] Maurice Herlihy,et al. Linearizability: a correctness condition for concurrent objects , 1990, TOPL.
[2] Serdar Tasiran,et al. Location pairs: a test coverage metric for shared-memory concurrent programs , 2011, Empirical Software Engineering.
[3] Scott D. Stoller,et al. Testing Concurrent Java Programs using Randomized Scheduling , 2002, RV@FLoC.
[4] Pravesh Kothari,et al. A randomized scheduler with probabilistic guarantees of finding bugs , 2010, ASPLOS 2010.
[5] Gavin Lowe,et al. Testing for linearizability , 2017, Concurr. Comput. Pract. Exp..
[6] Jeannette M. Wing,et al. Testing and Verifying Concurrent Objects , 1993, J. Parallel Distributed Comput..
[7] Eitan Farchi,et al. Framework for testing multi‐threaded Java programs , 2003, Concurr. Comput. Pract. Exp..
[8] Madan Musuvathi,et al. CHESS: Systematic Stress Testing of Concurrent Software , 2006, LOPSTR.