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
In Software Technologies, 68-87. Vol. 743. Springer International Publishing, 2017.
Book Chapter
2017
In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Proceedings, refereed
2017

Students under supervision

Available Master's topics

Find publication

Status

Export 10 results:
2021

Proceedings, refereed

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: Published
2017

Proceedings, refereed

In IEEE International Symposium on High Assurance Systems Engineering. ACM/IEEE, 2017.
Status: Published
In IEEE International Symposium on High Assurance Systems Engineering. ACM/IEEE, 2017.
Status: Published
In International Conference on Software Testing, Verification and Validation (ICST 2017) . IEEE, 2017.
Status: Published
In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Status: Published

Book chapters

In Software Technologies, 68-87. Vol. 743. Springer International Publishing, 2017.
Status: Published
2015

Proceedings, refereed

In ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 20-22 July. SciTePress, 2015.
Status: Published
In IEEE International Conference on Software Quality, Reliability and Security. Vancouver, Canada, August 3-5, 2015.
Status: Published
In The 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). Madeira, Portugal, August 26-28. Funchal: IEEE, 2015.
Status: Published