SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software.

Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, Mengfei Yang

Browse the full ISSTA paper archive.