<p><strong>Data (External): </strong>"http://stap.sjtu.edu.cn/index.php?title=JaConTeBe#Searched_Bugs"</p> <p>Reference</p> <p>Studies who have been using the data (in any form) are required to include the following reference:</p> <p>@INPROCEEDINGS{7372007, author={Lin, Ziyi and Marinov, Darko and Zhong, Hao and Chen, Yuting and Zhao, Jianjun}, booktitle={Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on}, title={JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T)}, year={2015}, pages={178-189}, keywords={Benchmark testing;Computer bugs;Concurrent computing;Java;Open source software;System recovery;JaConTeBe;Java concurrency bugs;SIR;benchmark suite;evaluations}, doi={10.1109/ASE.2015....
Mainstream programming is migrating to concurrent archi-tectures to improve performance and facilita...
In this work we focus on creating a benchmark suite of concurrent programs for various programming l...
In the last 10 years CPUs have evolved focusing on performance improvements based on the introductio...
Data (External): "http://stap.sjtu.edu.cn/index.php?title=JaConTeBe#Searched_Bugs" Reference Stud...
ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defect...
Abstract—Detecting bugs in concurrent software is challeng-ing due to the many different thread inte...
ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defect...
Developing concurrent software is error prone. Others have cataloged common bug patterns in concurre...
Testing concurrent software is hard due to its non-deterministic behavior. Concurrency bugs triggeri...
Part 1: Full PapersInternational audienceConcurrent programming puts demands on software debugging a...
This thesis presents a catalog of concurrency-related bug patterns. In contrast to design patterns, ...
Software is pervasive in our daily lives. Unfortunately, software bugs can severely affect the depen...
Abstract. Nowadays, multi-threaded programs are quite common and so are concurrency errors. Many wor...
Background Software systems are relying more and more on multi-core hardware requiring a parallel ap...
AbstractConcurrency in multithreaded programs introduces additional complexity in software verificat...
Mainstream programming is migrating to concurrent archi-tectures to improve performance and facilita...
In this work we focus on creating a benchmark suite of concurrent programs for various programming l...
In the last 10 years CPUs have evolved focusing on performance improvements based on the introductio...
Data (External): "http://stap.sjtu.edu.cn/index.php?title=JaConTeBe#Searched_Bugs" Reference Stud...
ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defect...
Abstract—Detecting bugs in concurrent software is challeng-ing due to the many different thread inte...
ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defect...
Developing concurrent software is error prone. Others have cataloged common bug patterns in concurre...
Testing concurrent software is hard due to its non-deterministic behavior. Concurrency bugs triggeri...
Part 1: Full PapersInternational audienceConcurrent programming puts demands on software debugging a...
This thesis presents a catalog of concurrency-related bug patterns. In contrast to design patterns, ...
Software is pervasive in our daily lives. Unfortunately, software bugs can severely affect the depen...
Abstract. Nowadays, multi-threaded programs are quite common and so are concurrency errors. Many wor...
Background Software systems are relying more and more on multi-core hardware requiring a parallel ap...
AbstractConcurrency in multithreaded programs introduces additional complexity in software verificat...
Mainstream programming is migrating to concurrent archi-tectures to improve performance and facilita...
In this work we focus on creating a benchmark suite of concurrent programs for various programming l...
In the last 10 years CPUs have evolved focusing on performance improvements based on the introductio...