Interrupt-driven embedded software is widely used in aerospace, automotive electronics,
medical equipment, IoT, and other industrial fields. This type of software is usually …

Concurrency bugs in an operating system (OS) are detrimental as they can cause the OS to
fail and affect all applications running on top of the OS. Detecting OS concurrency bugs is …

Concurrent programming puts demands on software debugging and testing, as concurrent
software may exhibit problems not present in sequential software, eg, deadlocks and race …

Software is pervasive in our daily lives. Unfortunately, software bugs can severely affect the
dependability and security of software systems. Among all types of software bugs, the …

Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it
is difficult to deliver reliable concurrent programs, because of the huge and non …

Interrupt-driven programs are widely used in aerospace and other safety-critical areas.
However, uncertain interleaving execution of interrupts may cause concurrency bugs, which …

Event-driven programs are prone to concurrency bugs due their inherent nature of handling
asynchronous events. Asynchronous events introduce logical concurrency into these …

Along with the prevalence of multi-threaded programs, concurrency bugs have become one
of the most important sources of software bugs. Even worse, due to the non-deterministic …

Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it
is difficult to deliver reliable concurrent programs, because of the huge and nondeterministic …

Concurrent programming puts demands on software debugging and testing, as concurrent
software may exhibit problems not present in sequential software, eg, deadlocks and race …