Publikationen, an denen er mitarbeitet Goiuria Sagardui Mendieta (9)

2021

  1. Using Machine Learning to Build Test Oracles: An Industrial Case Study on Elevators Dispatching Algorithms

    Proceedings - 2021 IEEE/ACM International Conference on Automation of Software Test, AST 2021

2020

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

    Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020

2017

  1. Increasing dependability in safety critical CPSs using reflective statecharts

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)