201 citations · 201 across the 2 of their papers we have counts for
2 papers
cs.SE2024
Towards an Argument Pattern for the Use of Safety Performance Indicators
Daniel Ratiu, Tihomir Rohlinger, Torben Stolte +1
UL 4600, the safety standard for autonomous products, mandates the use of Safety Performance Indicators (SPIs) to continuously ensure the validity of safety cases by monitoring and…
cs.SE2017★ 201 cited
One evaluation of model-based testing and its automation
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…