201 citations · 201 across the 1 of their papers we have counts for
1 paper · 1 filter
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…