55 citations · 55 across the 5 of their papers we have counts for
5 papers · 1 filter
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 (…
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…
DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures
Zhouyang Jia, Shanshan Li, Tingting Yu +5
Applications depend on libraries to avoid reinventing the wheel. Libraries may have incompatible changes during evolving. As a result, applications will suffer from compatibility f…
Automated Performance Tuning for Highly-Configurable Software Systems
Xue Han, Tingting Yu
Performance is an important non-functional aspect of the software requirement. Modern software systems are highly-configurable and misconfigurations may easily cause performance is…
ConPredictor: Concurrency Defect Prediction in Real-World Applications
Tingting Yu, Wei Wen, Xue Han +1
Concurrent programs are difficult to test due to their inherent non-determinism. To address this problem, testing often requires the exploration of thread schedules of a program; t…