Software Metrics in Static Program Analysis-Reference-Cited by-同舟云学术

Software Metrics in Static Program Analysis

Published:2010 Issue: Volume: Page:485-500
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Vogelsang Andreas,Fehnker Ansgar,Huuck Ralf,Reif Wolfgang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16901-4_32

Reference16 articles.

1. Badri, L., Badri, M.: A proposal of a new class cohesion criterion: An empirical study. Journal of Object Technology 3(4), 145–159 (2004)

2. Clark, J., DeRose, S.: XML Path Language 1.0 (XPath). W3C (1999), http://www.w3.org/TR/xpath

3. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)

4. Curtis, B., Sheppard, S.B., Milliman, P.: Third time charm: Stronger prediction of programmer performance by software complexity metrics. In: Proceedings of the Fourth International Conference on Software Engineering, pp. 356–360. IEEE Computer Society Press, Los Alamitos (1979)

5. Elshoff, J.: An analysis of some commercial PL/I programs. IEEE Transactions on Software Engineering SE-5(2), 113–120 (1976)

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

1. An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution;Programming and Computer Software;2018-11

2. Program Analysis Is Harder Than Verification: A Computability Perspective;Computer Aided Verification;2018

3. Can Software Project Maturity Be Accurately Predicted Using Internal Source Code Metrics?;Machine Learning and Data Mining in Pattern Recognition;2016

4. Improving Tenants' Trust in SaaS Applications Using Dynamic Security Monitors;2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS);2015-12