Belli, FevziBudnik, Christof J.Federrath, Hannes2019-10-112019-10-1120053-88579-391-1https://dl.gi.de/handle/20.500.12116/28366A model-based approach for minimization of test sets for human-computer interactions is introduced. Test cases are efficiently generated and selected to cover the behavioral model of the system under test (SUT) and its fault model that is constructed by complementing the original model. Results known from statebased conformance testing and graph theory are used and extended to construct algorithms for minimizing the test sets, considering structural features of the SUT.enText/Conference Paper1617-5468