TY  - RPRT
TI  - Trace Diagnostics for Signal-based Temporal Properties
AU  - Chaima Boufaied
AU  - Claudio Menghi
AU  - Domenico Bianculli
AU  - Lionel Briand
PY  - 2023
DO  - 10.1109/tse.2023.3242588
UR  - https://arxiv.org/abs/2206.04024
ID  - 2206.04024
ER  -