Learning finite state machine specifications from test cases. - Edith Benedicta Maria Werner (2010)