Primary tabs

Selected publications

Journal of Systems and Software 165 (2020).
Journal Article
In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Proceedings, refereed
Software: Practice and Experience 49, no. 2 (2019): 192-213.
Journal Article
AI Magazine 38, no. Spring (2017).
Journal Article


Best Paper Award for " A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing"
in the 11th International Joint Conference on Software Technologies, ICSOFT-EA 2016, Lisbon, Portugal
July 2016
Best Application Paper Award for "Using CP in automatic test generation for ABB robotics' paint control systems" In Principles and Practice of Constraint Programming
The 20th International Conference on Principles and Practice of Constraint Programming, Lyon, France
September 2014
Best Application Paper Award for "Automated test case selection using feature model: An industrial case study."
ACM/IEEE 16th Int. Conf. on Model Driven Eng. Languages and Systems (MODELS'13), Miami, Florida.
July 2013

Students under supervision

Find publication

Export 134 results:

Journal articles

Information and Software Technology 132 (2021).
Status: Published

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


Talks, invited

In HUAWEI Paris - 31 March 2021, 2021.
Status: Published
In Bristol Robotics Lab., Bristol, UK. 12th May, 2021, 2021.
Status: Published

Talks, contributed

In Software Engineering 2021. Bonn: Gesellschaft für Informatik e.V, 2021.
Status: Published