Export 14 results:
Filters: Author is Aitor Arrieta [Clear All Filters]
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.
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.
Classifying Uncertainties in an Industrial Elevator with the Cynefin Framework. Simula Research Laboratory, 2022.
Enhancing simulation-based testing of cyber-physical systems: past, present and future In Simula Research Laboratory, Norway., 2022.
Uncertainty-aware Robustness Assessment of Industrial Elevator Systems. Simula Research Laboratory, 2022.
Uncertainty-aware Robustness Assessment of Industrial Elevator Systems." ACM Transactions on Software Engineering and Methodology (2022)."
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.
Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty In The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021). IEEE, 2021.
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.
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.
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."
Search-Based Test Case Generation for Cyber-Physical Systems In IEEE Congress on Evolutionary Computation (CEC), Edited by L. Etxeberria. IEEE, 2017.
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.
Test Case Prioritization of Configurable Cyber-Physical Systems with Weight-Based Search Algorithms In Genetic and Evolutionary Computation Conference (GECCO)., 2016.