Grieskamp, WolfgangHochberger, ChristianLiskowsky, Rüdiger2019-06-042019-06-042006978-3-88579-188-1https://dl.gi.de/handle/20.500.12116/23509For half a decade model-based testing has been applied at Microsoft in the internal development process. Though a success story compared to other formal quality assurance approaches like verification, a break-through of the technology on a broader scale is not in sight. What are the obstacles? This paper describes the application of MBT at Microsoft, discusses the problems in the adoption, and draws some conclusions for the design of MBT tools.enText/Conference Paper1617-5468