Trace Diagnostics for Signal-Based Temporal Properties-Reference-Cited by-同舟云学术

Trace Diagnostics for Signal-Based Temporal Properties

Published:2023-05-01 Issue:5 Volume:49 Page:3131-3154
ISSN:0098-5589
Container-title:IEEE Transactions on Software Engineering
language:
Short-container-title:IIEEE Trans. Software Eng.

Author:

Boufaied Chaima¹^ORCID,Menghi Claudio²,Bianculli Domenico³^ORCID,Briand Lionel C.³^ORCID

Affiliation:

1. School of EECS, University of Ottawa, Ottawa, ON, Canada

2. University of Bergamo, Bergamo, Italy

3. Interdisciplinary Centre for Security, Reliability, and Trust (SnT), University of Luxembourg, Esch-sur-Alzette, Luxembourg

Funder

Interdisciplinary Centre for Security, Reliability

Trust (SnT) of the University of Luxembourg

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Software

Link

http://xplorestaging.ieee.org/ielx7/32/10124809/10038447.pdf?arnumber=10038447

Reference56 articles.

1. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic;ni?kovi?;Proc Int Conf Tools Algorithms Construction Anal Syst,2018

2. Explaining Counterexamples Using Causality

3. Usability Recommendations for User Guidance in Deductive Program Verification

4. Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications

5. Explaining Violations of Properties in Control-Flow Temporal Logic

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach;IEEE Software;2024-09

2. Checking Complex Source Code-Level Constraints using Runtime Verification;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10

3. Diagnosing Violations of Time-based Properties Captured in iCFTL;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14