Bilatu
3-tik 1-3 emaitza erakusten
Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems
(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 ...
Seeding Strategies for Multi-Objective Test Case Selection: An Application on Simulation-based Testing
(ACM, 2020)
The time it takes software systems to be tested is usually long. This is often caused by the time it takes the entire test suite to be executed. To optimize this, regression test selection approaches have allowed for ...
QoS-aware Metamorphic Testing: An Elevation Case Study
(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 ...