Concurrent Program Testing is a systematic software verification methodology that distinguishes itself by focusing on the detection and analysis of race conditions through the controlled execution and observation of interleaved thread behaviors in concurrent programs.
283
Publications
14.2K
Citations
496
Authors
208
Institutions
Publications per year
2017–2026
19
Publications
283
Shan Lu, Soyeon Park, Eunsoo Seo et al. · 2008 · 892 citations
Finding and Reproducing Heisenbugs in Concurrent Programs
2008 · 537 citations
Konstantin Serebryany, Timur Iskhodzhanov · 2009 · 434 citations
Race directed random testing of concurrent programs
Koushik Sen · 2008 · 414 citations
1–5 of 283
Authors
496
- KT
14
h-index
- KS
12
h-index
- SU
12
h-index
- SL
11
h-index
- PS
10
h-index
1–5 of 496
Institutions
208
University of Illinois Urbana-Champaign
Urbana, United States
17 h-index
61 publications
6.7K citations
Microsoft (United States)
Redmond, United States
15 h-index
32 publications
2.5K citations
North Carolina State University
Raleigh, United States
14 h-index
19 publications
687 citations
IBM Research - Haifa
Haifa, Israel
12 h-index
43 publications
3K citations
University of California, Berkeley
Berkeley, United States
12 h-index
23 publications
1.4K citations
Universidade de São Paulo
São Paulo, Brazil
10 h-index
36 publications
672 citations
The University of Texas at Arlington
Arlington, United States
10 h-index
13 publications
389 citations
George Mason University
Fairfax, United States
10 h-index
11 publications
540 citations
1–8 of 208
Venues
- IEEE Transactions on Software Engineering
TSE · 13 publications · 847 citations
12
h-index
- ACM SIGPLAN Notices
15 publications · 537 citations
12
h-index
- Concurrency and Computation Practice and Experience
8 publications · 513 citations
8
h-index
- Software Testing Verification and Reliability
STVR · 5 publications · 122 citations
5
h-index
- ACM SIGARCH Computer Architecture News
4 publications · 280 citations
4
h-index
1–5