Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
95 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs;ACM Transactions on Software Engineering and Methodology;2023-11-23
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. 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. 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
5. Opportunistic Monitoring of Multithreaded Programs;Fundamental Approaches to Software Engineering;2023