Author:
Higashi Makoto,Yamamoto Tetsuo,Hayase Yasuhiro,Ishio Takashi,Inoue Katsuro
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient data race detection for interrupt-driven programs via path feasibility analysis;The Journal of Supercomputing;2024-06-14
2. Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software;2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW);2023-10-09
3. Interruption-driven resource competition defect model and testing methodology;2022 IEEE 6th Advanced Information Technology, Electronic and Automation Control Conference (IAEAC );2022-10-03
4. A hybrid approach to testing for nonfunctional faults in embedded systems using genetic algorithms;Software Testing, Verification and Reliability;2018-08-16
5. Automatic detection and validation of race conditions in interrupt-driven embedded software;Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis;2017-07-10