19 citations · 19 across the 2 of their papers we have counts for
2 papers
cs.AR2023★ 19 cited
A Review of Techniques for Ageing Detection and Monitoring on Embedded Systems
Leandro Lanzieri, Gianluca Martino, Goerschwin Fey +3
Embedded digital devices are progressively deployed in dependable or safety-critical systems. These devices undergo significant hardware ageing, particularly in harsh environments.…
cs.SE2018
Synthesizing Adaptive Test Strategies from Temporal Logic Specifications
Roderick Bloem, Goerschwin Fey, Fabian Greif +4
Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet fixed. We propose a n…