Sözer, HasanŞahin Gebizli, C.2016-07-292016-07-292017-121573-1367http://hdl.handle.net/10679/4342https://doi.org/10.1007/s11219-016-9321-yDue to copyright restrictions, the access to the full text of this article is only available via subscription.Model-based testing is a promising approach for increasing the efficiency of the testing process and for improving software quality. It has been employed in the industry for more than a decade. Nevertheless, there are still challenges regarding its application in different domains. Some of these challenges are general, while some others are domain-specific. In this paper, we explain our experiences in enhancing model-based testing for its adoption in the consumer electronics domain, in particular for Digital TV systems. We applied the so-called industry-as-laboratory approach to define/refine research problems and evaluate our research results. We summarize these results and provide an evaluation of relevant research problems for our context. We observed that the industry-as-laboratory approach is highly effective for industry-academia collaboration and technology transfer in the scope of model-based software testing.engrestrictedAccessarticle2541185120200041597310000410.1007/s11219-016-9321-ySoftware testingModel-based testingCase studiesIndustrial projectsIndustry-as-laboratory approach2-s2.0-84975166720