Automatic detection and validation of race conditions in interrupt-driven embedded software-Reference-Cited by-同舟云学术

Automatic detection and validation of race conditions in interrupt-driven embedded software

Published:2017-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Wang Yu¹,Wang Linzhang¹,Yu Tingting²,Zhao Jianhua¹,Li Xuandong¹

Affiliation:

1. Nanjing University, China

2. University of Kentucky, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3092703.3092724

Reference69 articles.

1. Clang Static Analyzer. https://clanganalyzer .llvm.org 2016. Clang Static Analyzer. https://clanganalyzer .llvm.org 2016.

2. KLEE LLVM Execution Engine. https://klee .github.io/ 2016. KLEE LLVM Execution Engine. https://klee .github.io/ 2016.

3. KLEE-uClibc. https://github .com/klee/klee-uclibc 2016. KLEE-uClibc. https://github .com/klee/klee-uclibc 2016.

4. STP constraint solver. http://stp .github.io/ 2016. STP constraint solver. http://stp .github.io/ 2016.

5. Thread safety analysis 2016. http://clang.llvm.org/docs/ThreadSafetyAnalysis.html. Thread safety analysis 2016. http://clang.llvm.org/docs/ThreadSafetyAnalysis.html.

Cited by 26 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

2. intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22

3. Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software;2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW);2023-10-09

4. 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

5. ACETest: Automated Constraint Extraction for Testing Deep Learning Operators;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12