55 citations · 55 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023
Summary of the 4th International Workshop on Requirements Engineering and Testing (RET 2017)
Markus Borg, Elizabeth Bjarnason, Michael Unterkalmsteiner +3
The RET (Requirements Engineering and Testing) workshop series provides a meeting point for researchers and practitioners from the two separate fields of Requirements Engineering (…
cs.SE2023
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software
Yu Wang, Fengjuan Gao, Linzhang Wang +4
Interrupt-driven programs are widely deployed in safety-critical embedded systems to perform hardware and resource dependent data operation tasks. The frequent use of interrupts in…