Primary tabs

Most recent publications

In Software Engineering for Robotics, 465p. Edited by A. Cavalcanti, B. Dongol, R. Hierons, J. Timmis, J. Woodcock ed. Springer Nature, 2021.
Book Chapter
2021

Selected publications

Journal of Systems and Software 165 (2020).
Journal Article
2020
In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI-19). Vol. 33. AAAI, 2019.
Proceedings, refereed
2019
In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Proceedings, refereed
2017

News

Available Master's topics

Find publication

Status

Export 3 results:
2021

Book chapters

In Software Engineering for Robotics, 465p. Edited by A. Cavalcanti, B. Dongol, R. Hierons, J. Timmis, J. Woodcock ed. Springer Nature, 2021.
Status: Accepted

Talks, contributed

In Gesellschaft für Informatik Software Engineering Conference 2021 (SE21), Germany, 2021.
Status: Accepted
In IEEE International Conference on Software Testing (ICST), 2021.
Status: Accepted