Efficient detection and validation of atomicity violations in concurrent programs-Reference-Cited by-同舟云学术

Efficient detection and validation of atomicity violations in concurrent programs

Author:

Eslamimehr Mahdi,Lesani Mohsen,Edwards George

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference38 articles.

1. Doublechecker: efficient sound and precise atomicity checking;Biswas,2014

2. The Dacapo benchmarks: java benchmarking development and analysis;Blackburn,2006

3. Taming reflection: aiding static analysis in the presence of reflection and custom class loaders;Bodden,2011

4. Heuristics for scalable dynamic test generation;Burnim,2008

5. EXE: automatically generating inputs of death;Cadar,2006

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

3. Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04