Bilatu
2-tik 1-2 emaitza erakusten
Performance-Driven Metamorphic Testing of Cyber-Physical Systems
(IEEE, 2022)
Cyber-physical systems (CPSs) are a new generation of systems, which integrate software with physical processes. The increasing complexity of these systems, combined with the uncertainty in their interactions with the ...
A Configurable Validation Environment for Refactored Embedded Software : an Application to the Vertical Transport Domain
(IEEE, 2017)
As systems evolve, their embedded software needs constantly to be refactored. Moreover, given the different needs of different customers, embedded systems require to be customizable. The variability of these systems is ...