Documents Savoirs Learning finite state machine specifications from test cases [Elektronische Ressource] / vorgelegt von Edith Benedicta Maria Werner Edith Werner