Sequence Mining and Property Verification for Fault-Localization in Simulink Models-Reference-Cited by-同舟云学术

Sequence Mining and Property Verification for Fault-Localization in Simulink Models

Published:2020 Issue: Volume: Page:1-10
ISSN:2194-5357
Container-title:Theory and Applications of Dependable Computer Systems
language:
Short-container-title:

Author:

Aloui Dkhil Safa,Bennani Mohamed Taha,Tekaya Manel,Ben Attia Sethom Houda

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-48256-5_1

Reference37 articles.

1. Agarwal, P., Agrawal, A.P.: Fault-localization techniques for software systems: a literature review. ACM SIGSOFT Softw. Eng. Notes 39(5), 1–8 (2014)

2. Bahrami, B., Shirvani, M.H.: Prediction and diagnosis of heart disease by data mining techniques. J. Multi. Eng. Sci. Technol. (JMEST) 2(2), 164–168 (2015)

3. Balsini, A., Di Natale, M., Celia, M., Tsachouridis, V.: Generation of simulink monitors for control applications from formal requirements. In: 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 1–9. IEEE (2017)

4. Bartocci, E., Ferrère, T., Manjunath, N., Ničković, D.: Localizing faults Insimulink/Stateflow models with STL. In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), pp. 197–206. ACM (2018)

5. Bennouna, O., Robin, O., Chafouk, H., Roux, J.: Diagnostic et détection de défauts des systèmes embarqués dans l’automobile. In: Proceeding of the 3SGS 2009 3 (2009)

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

1. Metamorphic Testing of Autonomous Vehicles: A Case Study on Simulink;2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2021-05