- 1 of 5
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
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
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.
Students under supervision
In Selected talk at the 'Verification meets CP' 2014 workshop, Lyon, France. .: , 2014.
In Selected talk at 'Verification meets CP' workshop 2014, Lyon, France. .: , 2014.
In Dagsthul Seminar (Symbolic Methods and Constraint Solving) , 2014.