Specifying code analysis tools
暂无分享,去创建一个
[1] Andrew D Holt,et al. The Unix Programming Environment , 1985 .
[2] C. V. Ramamoorthy,et al. The C Information Abstraction System , 1990, IEEE Trans. Software Eng..
[3] Brian A. Malloy,et al. Data flow testing of parallelized code , 1992, Proceedings Conference on Software Maintenance 1992.
[4] Premkumar T. Devanbu. GENOA - A Customizable, Language- And Front-end Independent Code Analyzer , 1992, International Conference on Software Engineering.
[5] Brian A. Malloy,et al. A unified interprocedural program representation for a maintenance environment , 1991, Proceedings. Conference on Software Maintenance 1991.
[6] Aniello Cimitile,et al. Prolog for Software Maintenance , 1995, SEKE.
[7] Aniello Cimitile,et al. Software salvaging based on conditions , 1994, Proceedings 1994 International Conference on Software Maintenance.
[8] Aniello Cimitile,et al. Algorithms for program dependence graph production , 1995, Proceedings of International Conference on Software Maintenance.
[9] James H. Cross,et al. Reverse engineering and design recovery: a taxonomy , 1990, IEEE Software.
[10] Premkumar T. Devanbu,et al. Automated construction of testing and analysis tools , 1994, Proceedings of 16th International Conference on Software Engineering.
[11] Aniello Cimitile,et al. A Logic-Based Approach to Reverse Engineering Tools Production , 1992, IEEE Trans. Software Eng..
[12] Aniello Cimitile,et al. Reverse engineering: Algorithms for program graph production , 1991, Softw. Pract. Exp..
[13] Suzanne W. Dietrich,et al. The application of deductive databases to inter-module code analysis , 1991, Proceedings. Conference on Software Maintenance 1991.
[14] Norman Fenton,et al. Metrics and software structure , 1987 .
[15] Mark A. Linton. Implementing relational views of programs , 1984 .
[16] Giuseppe Visaggio,et al. An environment for the reengineering of Pascal programs , 1991, Proceedings. Conference on Software Maintenance 1991.