Crossmark

Efficient data race detection for interrupt-driven programs via path feasibility analysis

Published Online: 2024-06-14

Published Print: 2024-10

Authors

Zhao, Jingwen

Wu, Yanxia

Dong, Jibin
Funding

Funding for this research was provided by:

Natural Science Foundation of Heilongjiang Province (JJ2019LH2160)
License Information

Text and Data Mining valid from 2024-06-14

Version of Record valid from 2024-06-14
More Information

Article History

Accepted: 3 May 2024

First Online: 14 June 2024

Declarations

:

: The authors declare no competing interests.

Document is current