201 citations · 201 across the 1 of their papers we have counts for
1 paper
Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner +5
Model-based testing relies on behavior models for the generation of model traces: input and expected output---test cases---for an implementation. We use the case study of an automo…