Searched for: subject%3A%22Labled%255C%2BTransition%255C%2BSystems%22
(1 - 1 of 1)
Hartman, C. (author)
Model-based testing is a technique to automatically generate test cases and oracles in order to test an implementation. A typical behavrial model used for model-based testing is a Labeled Transition System9LTS). However cre-ating the LTS models needed for testing is a complex task, and especially when data is involved the number of states and...
master thesis 2013