AVPredictor: Comprehensive prediction and detection of atomicity violations-Reference-Cited by-同舟云学术

AVPredictor: Comprehensive prediction and detection of atomicity violations

Author:

Wang Pengfei¹^ORCID,Krinke Jens²,Zhou Xu¹,Lu Kai¹³⁴

Affiliation:

1. College of ComputerNational University of Defense Technology Changsha China

2. Centre for Research in Evolution, Search and TestingUniversity College London London UK

3. Science and Technology on Parallel and Distributed Processing LaboratoryNational University of Defense Technology Changsha China

4. Collaborative Innovation Center of High‐Performance ComputingNational University of Defense Technology Changsha China

Funder

National Basic Research Program of China (973 Program)

Program for New Century Excellent Talents in University

The National High-level Personnel for Defense Technology Program

Natural Science Foundation of Hunan Province

National Natural Science Foundation of China

Publisher

Wiley

Subject

Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Theoretical Computer Science,Software

Link

Reference39 articles.

2. JesdanunA.General electric acknowledges northeastern blackout bug.2004.http://www.securityfocus.com/news/8032

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

3. An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

4. Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning;Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18