Zerrendatu Kongresuak-Ingeniaritza honen arabera: gaia "Adaptation models"

2-tik 1-2 emaitza erakusten

CRESCO Framework and Checker: Automatic Generation of Reflective UML State Machine's C++ Code and Checker

Illarramendi, Miren; Etxeberria, Leire; Larrinaga, Felix; Sagardui, Goiuria (IEEE, 2020)

Software Systems are becoming increasingly complex leading to new Validation & Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ...
Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?

Valle Entrena, Pablo; Arrieta, Aitor (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 ...