Liping Han, Tao Yue 0002, Shaukat Ali 0001, Aitor Arrieta, Maite Arratibel. Are elevator software robust against uncertainties? results and experiences from an industrial case study. In Abhik Roychoudhury, Cristian Cadar, Miryung Kim, editors, Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022. pages 1331-1342, ACM, 2022. [doi]
@inproceedings{Han00AA22,
title = {Are elevator software robust against uncertainties? results and experiences from an industrial case study},
author = {Liping Han and Tao Yue 0002 and Shaukat Ali 0001 and Aitor Arrieta and Maite Arratibel},
year = {2022},
doi = {10.1145/3540250.3558955},
url = {https://doi.org/10.1145/3540250.3558955},
researchr = {https://researchr.org/publication/Han00AA22},
cites = {0},
citedby = {0},
pages = {1331-1342},
booktitle = {Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022},
editor = {Abhik Roychoudhury and Cristian Cadar and Miryung Kim},
publisher = {ACM},
isbn = {978-1-4503-9413-0},
}