Efficient detection of thread safety violations via coverage-guided generation of concurrent tests
As writing concurrent programs is challenging, developers often rely on thread-safe classes,
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …
Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests
A Choudhary, S Lu, M Pradel - 2017 IEEE/ACM 39th International …, 2017 - computer.org
As writing concurrent programs is challenging, developers often rely on thread-safe classes,
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …
[引用][C] Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests
A Choudhary, S Lu, M Pradel - 2017 IEEE/ACM 39th International …, 2017 - cir.nii.ac.jp
Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent
Tests | CiNii Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索 …
Tests | CiNii Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索 …
[PDF][PDF] Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests
A Choudhary, S Lu, M Pradel - software-lab.org
As writing concurrent programs is challenging, developers often rely on thread-safe classes,
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …
Efficient detection of thread safety violations via coverage-guided generation of concurrent tests
A Choudhary, S Lu, M Pradel - … of the 39th International Conference on …, 2017 - dl.acm.org
As writing concurrent programs is challenging, developers often rely on thread-safe classes,
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …
[PDF][PDF] Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests
A Choudhary, S Lu, M Pradel - software-lab.org
As writing concurrent programs is challenging, developers often rely on thread-safe classes,
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …