Producing scheduling that causes concurrent programs to fail
Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ
Electronic Notes in Theoretical Computer Science (ENTCS)
Concurrent Java Test Generation as a Search Problem
Electronic Notes in Theoretical Computer Science (ENTCS)
Explaining intermittent concurrent bugs by minimizing scheduling noise
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Extensible transactional memory testbed
Journal of Parallel and Distributed Computing
Run-time verification of networked software
RV'10 Proceedings of the First international conference on Runtime verification
Noise injection heuristics for concurrency testing
MEMICS'11 Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science
Optimizing threads schedule alignments to expose the interference bug pattern
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
| Hi-index | 0.00 |
This paper presents new heuristics that increase the probability of manifesting concurrent bugs. The heuristics are based on cross-run monitoring. A contended shared variable is chosen and random context switching is performed at accesses to that variable. The relative strength of the new heuristics is analyzed. In comparison to previous works, our heuristics increase the frequency of bug manifestation. In addition, the new heuristics were able to find bugs that previous methods did not discover.