eBiltegia

    • Zer da eBiltegia? 
    •   eBiltegiari buruz
    •   Argitaratu irekian zure ikerketa
    • Sarbide Irekia MUn 
    •   Zer da Zientzia Irekia?
    •   Mondragon Unibertsitatearen dokumentu zientifikoetara eta irakaskuntza-materialetara Sarbide Irekia izateko politika instituzionala
    •   Mondragon Unibertsitatearen ikerketa-datuetara Sarbide Irekia izateko Politika instituzionala
    •   Babes digitalerako jarraibideak
    •   Zure argitalpenak jaso eta zabaldu egiten ditu Bibliotekak
    • Euskara
    • Español
    • English

Laguntzailea:

  • Kontaktua
  • Euskara 
    • Euskara
    • Español
    • English
  • eBiltegia buruz  
    • Zer da eBiltegia? 
    •   eBiltegiari buruz
    •   Argitaratu irekian zure ikerketa
    • Sarbide Irekia MUn 
    •   Zer da Zientzia Irekia?
    •   Mondragon Unibertsitatearen dokumentu zientifikoetara eta irakaskuntza-materialetara Sarbide Irekia izateko politika instituzionala
    •   Mondragon Unibertsitatearen ikerketa-datuetara Sarbide Irekia izateko Politika instituzionala
    •   Babes digitalerako jarraibideak
    •   Zure argitalpenak jaso eta zabaldu egiten ditu Bibliotekak
  • Hasi saioa
Bilatu 
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Bilatu
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Bilatu
JavaScript is disabled for your browser. Some features of this site may not work without it.

Bilatu

Show Advanced FiltersHide Advanced Filters

Iragazkiak

Muga ezazu bilaketa iragazkiak erabiliz

16-tik 1-10 emaitza erakusten

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

QoS-aware Metamorphic Testing: An Elevation Case Study 

Ayerdi, Jon; Arrieta, Aitor; Sagardui, 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 ...
Thumbnail

Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems 

Ayerdi, Jon; Arrieta, Aitor; Sagardui, 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 ...
Thumbnail

Seeding Strategies for Multi-Objective Test Case Selection: An Application on Simulation-based Testing 

Arrieta, Aitor; Agirre, Joseba Andoni; Sagardui, Goiuria (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 ...
Thumbnail

Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms 

Arrieta, Aitor; Ayerdi, Jon; Illarramendi, Miren; Sagardui, Goiuria (IEEE, 2021)
The software of elevators requires maintenance over several years to deal with new functionality, correction of bugs or legislation changes. To automatically validate this software, test oracles are necessary. A typical ...
Thumbnail

Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems 

Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2021)
Cyber-Physical Systems (CPSs) are systems that integrate digital cyber computations with physical processes. The software embedded in CPSs has a long life-cycle, requiring constant evolution to support new requirements, ...
Thumbnail

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 ...
Thumbnail

Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty 

Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2021)
Elevators, as other cyber-physical systems, need to deal with uncertainty during their operation due to several factors such as passengers and hardware. Such uncertainties could affect the quality of service promised by ...
Thumbnail

A microservice-based framework for multi-level testing of ciber-physical systems 

Aldalur, Iñigo; Arrieta, Aitor; Sagardui, Goiuria (Springer, 2023)
In the last years, the use of microservice architectures is spreading in Cyber-Physical Systems (CPSs) and Internet of Things (IoT) domains. CPSs are systems that integrate digital cyber computations with physical processes. ...
Thumbnail

Performance-Driven Metamorphic Testing of Cyber-Physical Systems 

Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (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 ...
Thumbnail

Evolutionary generation of metamorphic relations for cyber-physical systems 

Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (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 ...
  • 1
  • 2

Zerrendatu honako honen arabera

eBiltegia osoaKomunitateak & bildumakArgitalpen dataren araberaEgileakIzenburuakMateriakIkerketa taldeakNon argitaratua

Nire kontua

SartuErregistratu

Arakatu

Egilea
Sagardui, Goiuria (15)
Arrieta, Aitor (12)Ayerdi, Jon (7)Agirre, Joseba Andoni (2)Etxeberria, Leire (2)Illarramendi, Miren (2)59a2375f63fb24493a1207d35262c78a (1)Aldalur, Iñigo (1)c807eea0d1922e859e3dc7254504d45f (1)
ca8ec5bf6c7e09b128ea966bd5551142 (1)
... View MoreMateriaElevators (5)Quality of Service (4)Cyber Physical Systems CPS (3)Metamorphic Testing (3)Computer bugs (2)Conferences (2)DevOps (2)evolutionary algorithm (2)genetic programming (2)Hardware (2)... View MoreDate Issued2021 (6)2020 (5)2022 (4)2023 (1)Has File(s)Yes (16)

Nork bildua:

OpenAIREBASERecolecta

Nork balioztatua:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Biblioteka
Kontaktua | Iradokizunak
DSpace
 

 

Nork bildua:

OpenAIREBASERecolecta

Nork balioztatua:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Biblioteka
Kontaktua | Iradokizunak
DSpace