Trace Diagnostics for Signal-Based Temporal Properties Journal Articles

authors

• Boufaied, Chaima
• Menghi, Claudio
• Bianculli, Domenico
• Briand, Lionel C

status

• published 

publication date

• May 1, 2023

has subject area

• 0803 Computer Software (FoR)
• 0806 Information Systems (FoR)
• 0906 Electrical and Electronic Engineering (FoR)
• Software Engineering (Science Metrix)

published in

• IEEE Transactions on Software Engineering  Journal

keywords

• Computer Science
• Computer Science, Software Engineering
• Engineering
• Engineering, Electrical & Electronic
• Science & Technology
• Technology
• cyber-physical systems
• diagnostics
• run-time verification
• signals
• specification patterns
• temporal properties
• trace checking

Digital Object Identifier (DOI)

• 10.1109/tse.2023.3242588

start page

• 3131

end page

• 3154

volume

• 49

issue

• 5