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
Available Master's topics
AI Magazine 38, no. Spring (2017).
AI Magazine (Column on AI in Industry) 39, no. Summer (2017).
In Proceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA., 2017.
In International Conference on Software Testing, Verification and Validation (ICST 2017) ., 2017.
In Proceedings of Principles of Constraint Programming (CP'17)., 2017.
In Int. Joint Conf. on Artificial Intelligence (IJCAI'17), Aug. 2017, Melbourne, Australia., 2017.
In Proceedings of 26th International Symposium on Software Testing and Analysis , Santa Barbara, CA, USA, July 2017 (ISSTA’17)., 2017.
INFORMS Journal of Computing (JoC) 28, no. 1 (2016): 31-46.
Information and Software Technology 71 (2016): 129-146.
Empirical Software Engineering 21, no. 4 (2016): 1586-1622.