System-specific static code analyses: a case study in the complex embedded systems domain-Reference-Cited by-同舟云学术

System-specific static code analyses: a case study in the complex embedded systems domain

Published:2011-04-28 Issue:2 Volume:20 Page:337-367
ISSN:0963-9314
Container-title:Software Quality Journal
language:en
Short-container-title:Software Qual J

Author:

Kienle Holger M.,Kraft Johan,Nolte Thomas

Publisher

Springer Science and Business Media LLC

Subject

Safety, Risk, Reliability and Quality,Software

Link

http://link.springer.com/content/pdf/10.1007/s11219-011-9138-7.pdf

Reference61 articles.

1. Adams, E. N. (1984). Optimizing preventive service of software products. IBM Journal of Research and Development, 28(1), 2–14.

2. Åkerholm, M., Land, R., & Strzyz, C. (2009). Can you afford not to certify your control system? iVTinternational http://www.ivtinternational.com/legislative_focus_nov.ph .

3. Andersson, J. (2005). Modeling the temporal behavior of complex embedded systems. Licentiate thesis, Mälardalen University, Sweden.

4. Anderson, P. (2008). Detecting bugs in safety-critical code. Dr Dobb’s Journal http://www.grammatech.com/products/codesonar/DrDobbsDetectingBugsInSafetyCriticalCode.pdf .

5. Antoniol, G., Penta, M. D., Masone, G., & Villano, U. (2003). XOgastan: XML-oriented gcc AST analysis and transformations. In 3rd IEEE international workshop on source code analysis and manipulation (SCAM’03) (pp. 173–182).

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

1. Static Code Analysis: A Tree of Science Review;ENTRE CIENC ING;2023

2. Improving Developer Productivity on Internet of Things using JavaScript;Proceedings of the 7th International Conference on Internet of Things, Big Data and Security;2022

3. The Evaluation of the Embedded Software Quality Based on the Binary Code;2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C);2016-08

4. em-SPADE;ACM SIGPLAN Notices;2014-05-05

5. Embedded Processor Oriented Compiler Infrastructure;Advances in Electrical and Computer Engineering;2014