Funder
Office of Cyberinfrastructure
Publisher
Springer Science and Business Media LLC
Reference39 articles.
1. IEEE Std 7-4.3.2-2003 (2003) Ieee standard criteria for digital computers in safety systems of nuclear power generating stations. Technical report, The Institute of Electrical and Electronics Engineers
2. Arcuri A, Yao X (2008) A novel co-evolutionary approach to automatic software bug fixing. In: CEC. pp 162–168
3. Avizienis A, Laprie JC, Randell B, Landwehr CE (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secur Comput 1(1):11–33
4. Boudriga N, Elloumi F, Mili A (1992) The lattice of specifications: applications to a specification methodology. Form Asp Comput 4(6):544–571
5. Brink Ch, Kahl W, Schmidt G (1997) Relational methods in computer science. Springer, Berlin
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Toward a theory of program repair;Acta Informatica;2023-03-27
2. A Semantic Definition of Faults and Its Implications;2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS);2020-12
3. Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment;2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C);2019-07
4. Program Repair at Arbitrary Fault Depth;2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST);2019-04