selected publications conference paper Benefits and drawbacks of target specific model-based testing 2017