Trace Diagnostics for Signal-Based Temporal Properties

Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand. Trace Diagnostics for Signal-Based Temporal Properties. IEEE Trans. Software Eng., 49(5):3131-3154, 2023. [doi]

Abstract

Abstract is missing.