Detection of intermittent faults in software programs through identification of suspicious shared variable access patterns-Reference-Cited by-同舟云学术

Detection of intermittent faults in software programs through identification of suspicious shared variable access patterns

Published:2020-01 Issue: Volume:159 Page:110455
ISSN:0164-1212
Container-title:Journal of Systems and Software
language:en
Short-container-title:Journal of Systems and Software

Author:

Sotiropolos Panagiotis,Vassilakis Costas^ORCID

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference59 articles.

1. Spectrum-based multiple fault localization;Abreu,2009

2. Test case minimization approach using fault detection and combinatorial optimization techniques for configuration-aware structural testing;Ahmed;Eng. Sci. Technol.Int. J.,2016

3. Partial-order reduction in symbolic state space exploration;Alur,1997

4. Basic concepts and taxonomy of dependable and secure computing;Avizienis;IEEE Trans. Depend. Sec.Comput.,2004

5. Bazan, N., 2017. Static and dynamic verification tools. https://docs.microsoft.com/en-us/windows-hardware/drivers/devtest/static-and-dynamic-verification-tools/. [Online; accessed 24-March-2019].

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

1. Detect atomicity violations in concurrent programs through user assistance and identification of suspicious variable access patterns;Journal of Software: Evolution and Process;2024-09-03

2. African buffalo optimized multinomial softmax regression based convolutional deep neural network for software fault prediction;Materials Today: Proceedings;2021-09

3. On the Design of IoT Security: Analysis of Software Vulnerabilities for Smart Grids;Energies;2021-05-14