|
22
|
VYRD: Verifying concurrent programs by runtime refinement-violation detection
– Tayfun Elmas, Serdar Tasiran
- 2005
|
|
4
|
Combining static and dynamic reasoning for bug detection
– Yannis Smaragdakis, Christoph Csallner
- 2007
|
|
7
|
On the predictability of random tests for object-oriented software
– Ilinca Ciupa, Er Pretschner, Andreas Leitner, Manuel Oriol
|
|
15
|
Effective random testing of concurrent programs
– K Sen
- 2007
|
|
9
|
Line-up: A complete and automatic linearizability checker
– Sebastian Burckhardt, Chris Dern, Roy Tan, Madanlal Musuvathi
- 2010
|
|
5
|
An Effective Dynamic Analysis for Detecting Generalized Deadlocks
– Pallavi Joshi, Mayur Naik, David Gay, Koushik Sen
|
|
6
|
GAMBIT: effective unit testing for concurrency libraries
– K E COONS, S BURCKHARDT, M MUSUVATHI
|
|
3
|
Private communication
– B Tan
|
|
2
|
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness
– Jacob Burnim, Tayfun Elmas, George Necula, Koushik Sen
- 2011
|
|
1
|
High-level data races. Softw Test Verif Rel
– C Artho, K Havelund, A Biere
|
|
1
|
Underspecified harnesses and interleaved bugs
– S Joshi, S K Lahiri, A Lal
- 2012
|
|
11
|
Unit testing concurrent software
– William Pugh, Nathaniel Ayewah
- 2007
|
|
18
|
A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks
– Pallavi Joshi, Chang-seo Park, Koushik Sen, Mayur Naik
|
|
13
|
A randomized scheduler with probabilistic guarantees of finding bugs
– Sebastian Burckhardt, Madanlal Musuvathi
- 2010
|
|
4
|
Finding Complex Concurrency Bugs in Large Multi-Threaded Applications
– P Fonseca, C Li, R Rodrigues
- 2011
|
|
21
|
Java concurrency in practice
– B Goetz
- 2006
|
|
478
|
Eraser: a dynamic data race detector for multithreaded programs
– Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson
- 1997
|
|
104
|
Object Race Detection
– C von Praun, T Gross
- 2001
|
|
155
|
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs
– Jong-deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan
- 2002
|
