Now showing items 1-2 of 2

    • QoS-aware Metamorphic Testing: An Elevation Case Study 

      Ayerdi Cantalejo, Jon; Arrieta Marcos, Aitor; Sagardui Mendieta, Goiuria (IEEE, 2020)
      Elevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy customization demands and to meet quality of service requirements. Verification and validation ...
    • Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems 

      Ayerdi Cantalejo, Jon; Arrieta Marcos, Aitor; Sagardui Mendieta, Goiuria (IEEE, 2020)
      Software systems that are embedded in autonomous Cyber-Physical Systems (CPSs) usually have a large life-cycle, both during its development and in maintenance. This software evolves during its life-cycle in order to ...