Bilatu
13-tik 11-13 emaitza erakusten
On the Cost-Effectiveness of Composite Metamorphic Relations for Testing Deep Learning Systems
(IEEE, 2022)
Deep Learning (DL) components are increasing their presence in mission and safety-critical systems, such as autonomous vehicles. The verification process of such systems needs to be rigorous, for which automated solutions ...
Evolutionary generation of metamorphic relations for cyber-physical systems
(ACM, 2022)
A problem when testing Cyber-Physical Systems (CPS) is the difficulty of determining whether a particular system output or behaviour is correct or not. Metamorphic testing alleviates such a problem by reasoning on the ...
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 ...