Search
Now showing items 1-4 of 4
Metamorphic Testing of Autonomous Vehicles: a Case Study on Simulink
(2021)
Autonomous Vehicles (AVs) will revolutionize the way people travel by car. However, in order to deploy autonomous vehicles, effective testing techniques are required. The driving quality of an AV should definitely be ...
Some Seeds are Strong : Seeding Strategies for Search-based Test Case Selection
(ACM, 2022)
The time it takes software systems to be tested is usually long. Search-based test selection has been a widely investigated technique to optimize the testing process. In this paper, we propose a set of seeding strategies ...
Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?
(IEEE, 2022)
Cyber-Physical Systems (CPSs) combine digital cyber technologies with parallel physical processes. On the one hand, verification methods of such systems mostly rely on (system level) simulation-based testing. This technique ...
Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs
(IEEE, 2023)
Programmable Logic Controllers (PLCs) are the core unit of the production system, which frequently need to implement new processes to address customer needs. These changes must be fully tested to ensure the reliability of ...
