Publications by authors named "Roderick Bloem"
Synthesizing adaptive test strategies from temporal logic specifications.
Form Methods Syst Des
October 2019
Article Synopsis
- Creating good test cases for new systems is really tricky and takes a lot of time because the system's behavior isn't fully decided yet.
- We suggest a new way to develop test plans that can find basic problems in how a system works by using special rules called temporal logic.
- Our method is shown to work well in real-world situations, like with satellite systems, and is better at finding tough bugs compared to regular random tests.
is an approach to enforce safety properties at runtime. A shield monitors the system and corrects any erroneous output values instantaneously. The shield deviates from the given outputs as little as it can and recovers to hand back control to the system as soon as possible.
View Article and Find Full Text PDF