Work

SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software

Year: 2025

Type: conference-paper

DOI: 10.1145/3696630.3728592

Authors: Boxiang Wang, Chao Li, Rui Chen, Sheng Wang, Chunpeng Jia, Mengfei Yang

Institutions: Beijing Institute of Control Engineering, China Academy of Space Technology

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4413267883

FWCI: 0.849

Cites: 8

Cited by: 1

Related to: 10