1 results match your criteria: "1Graz University of Technology[Affiliation]"
Synthesizing adaptive test strategies from temporal logic specifications.
Form Methods Syst Des
October 2019
1Graz University of Technology, Graz, Austria.
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.