Lionel C. Briand, Shiva Nejati, Mehrdad Sabetzadeh, Domenico Bianculli. Testing the untestable: model testing of complex software-intensive systems. In Laura K. Dillon, Willem Visser, Laurie Williams, editors, Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume. pages 789-792, ACM, 2016. [doi]
Abstract is missing.