Primary tabs

Selected publications

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

Awards

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

Status

Export 18 results:
2020

Proceedings, refereed

In 1st International Workshop on New Foundations for Human-Centered AI @ ECAI 2020. CEUR Workshop Proceedings, 2020.
Status: Published
In International Conference on Principles and Practice of Constraint Programming. LNCS ed. Vol. 12333. Springer, 2020.
Status: Published
In The Thirty-Fourth AAAI Conference on Artificial Intelligence. AAAI'20: AAAI, 2020.
Status: Published
In The IEEE Second International Conference On Artificial Intelligence Testing (AITest 2020). IEEE, 2020.
Status: Published
In The 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). Euromicro, 2020.
Status: Published
In International Conference on Machine Learning, Optimization, and Data Science. Springer, 2020.
Status: Published
2013

Proceedings, refereed

In Proc. of. Fundamental Aspects of Software Engineering (FASE'2013). Berlin, Heidelberg: Springer, 2013.
Status: Published
In Proc. Of Fundamental Aspects of Software Engineering (FASE 2013), . Springer, 2013.
Status: Published
In Proc. of Int. Conf. on Soft. Testing, Validation and Verification (ICST'2013) - 10 pages. Luxembourg: IEEE, 2013.
Status: Published
In The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), 2013.
Status: Published