Most recent publications
Students under supervision
Available Master's topics
In Advances in Model-Based Testing (A-MOST), Tokyo, Japan, 2017.
In MBSE Seminar on Uncertainty, Nanjing University, China, 2017.
International Symposium on Engineering Secure Software and Systems (ESSoS'17), Bonn, Germany, 2017.
5th User Conference and Advanced Automated Testing (UCAAT), Berlin, Germany, 2017.