Export 14 results:
Filters: Author is Aitor Arrieta  [Clear All Filters]
2022
L. Han, T. Yue, S. Ali, A. Arrieta and M. Arratibel. Are Elevator Software Robust Against Uncertainties? Results and Experiences from an Industrial Case Study In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). ACM, 2022.
A. Arrieta, M. Otaegi, L. Han, G. Sagardui, S. Ali and M. Arratibel. Automating Test Oracle Generation in DevOps for Industrial Elevators In 29th IEEE International Conference on Software Analysis, Evolution and Reengineering, Edited by M. Ciolkowski and F. Palomba. IEEE, 2022.
L. Han, T. Yue, S. Ali and A. Arrieta. Classifying Uncertainties in an Industrial Elevator with the Cynefin Framework. Simula Research Laboratory, 2022.PDF icon tr_cynefin.pdf (2.03 MB)
A. Arrieta. Enhancing simulation-based testing of cyber-physical systems: past, present and future In Simula Research Laboratory, Norway., 2022.
L. Han, S. Ali, T. Yue, A. Arrieta and M. Arratibel. Uncertainty-aware Robustness Assessment of Industrial Elevator Systems. Simula Research Laboratory, 2022.PDF icon tr_mutants.pdf (2 MB)
L. Han, S. Ali, T. Yue, A. Arrieta and M. Arratibel. "Uncertainty-aware Robustness Assessment of Industrial Elevator Systems." ACM Transactions on Software Engineering and Methodology (2022).
2021
2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE), Edited by S. Ali, R. Abreu and A. Arrieta. Second ed. IEEE/ACM, 2021.
J. Galarraga, A. Arrieta, S. Ali, G. Sagardui and M. Arratibel. Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty In The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021). IEEE, 2021.PDF icon issre-2021.pdf (469.44 KB)
A. Arrieta. Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems In ICSA Software Architecture in Practice (SAIP). IEEE, 2021.
A. Gartziandia, A. Arrieta, S. Ali, T. Yue, A. Agirre, G. Sagardui and M. Arratibel. Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems In ICSA Software Architecture in Practice (SAIP) . IEEE, 2021.
2018
A. Arrieta, S. Wang, U. Markiegi, G. Sagardui and L. Etxeberria. "Employing Multi-Objective Search to Enhance Reactive Test Case Generation and Prioritization for Testing Industrial Cyber Physical Systems." IEEE Transactions on Industrial Informatics (TII) 14, no. 3 (2018): 1055-1066.
2017
A. Arrieta, S. Wang, U. Markiegi and G. Sagardui. Search-Based Test Case Generation for Cyber-Physical Systems In IEEE Congress on Evolutionary Computation (CEC), Edited by L. Etxeberria. IEEE, 2017.
2016
A. Arrieta, S. Wang, G. Sagardui and L. Etxeberria. Search-Based Test Case Selection of Cyber-Physical System Product Lines for Simulation-Based Validation In International Systems and Software Product Line Conference (SPLC)., 2016.
A. Arrieta, S. Wang, G. Sagardui and L. Etxeberria. Test Case Prioritization of Configurable Cyber-Physical Systems with Weight-Based Search Algorithms In Genetic and Evolutionary Computation Conference (GECCO)., 2016.