SRE: a knowledge-based environment for large-scale software re-engineering activities
ICSE '89 Proceedings of the 11th international conference on Software engineering
A knowledge-based approach to automatic program analysis
A knowledge-based approach to automatic program analysis
Integrated hypertext and program understanding tools
IBM Systems Journal
A Logic-Based Approach to Reverse Engineering Tools Production
IEEE Transactions on Software Engineering - Special issue on software maintenance
Program Concept Recognition and Transformation
IEEE Transactions on Software Engineering - Special issue on software maintenance
Program understanding and the concept assignment problem
Communications of the ACM
Reverse engineering to the architectural level
Proceedings of the 17th international conference on Software engineering
Monitoring compliance of a software system with its high-level design models
Proceedings of the 18th international conference on Software engineering
A Knowledge-Based Approach to the Analysis of Loops
IEEE Transactions on Software Engineering
Requirements for an effective architecture recovery framework
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Reverse engineering and system renovation—an annotated bibliography
ACM SIGSOFT Software Engineering Notes
Understanding natural programs using proper decomposition
ICSE '91 Proceedings of the 13th international conference on Software engineering
The concept assignment problem in program understanding
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Design Recovery for Distributed Systems
IEEE Transactions on Software Engineering
Supporting program comprehension using semantic and structural information
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Browsing and searching source code of applications written using a GUI framework
Proceedings of the 24th International Conference on Software Engineering
Towards pattern-based design recovery
Proceedings of the 24th International Conference on Software Engineering
Automatic Problem Description from Model Program for Knowledge-based Programming Tutor
Automated Software Engineering
A System for Generating Reverse Engineering Tools: A Case Study of Software Modularisation
Automated Software Engineering
An Approach for Recovering Distributed System Architectures
Automated Software Engineering
Supporting maintenance of legacy software with data mining techniques
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Partial design recovery using dynamic programming
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Recognizers for extracting architectural features from source code
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Supporting Software Maintenance by Mining Software Update Records
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Toward program representation and program understanding using process algebras
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
The development of a partial design recovery environment for legacy systems
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
A Pattern-Based Framework for Software Anomaly Detection
Software Quality Control
Relational programming with CrocoPat
Proceedings of the 28th international conference on Software engineering
EATIS '07 Proceedings of the 2007 Euro American conference on Telematics and information systems
XARK: An extensible framework for automatic recognition of computational kernels
ACM Transactions on Programming Languages and Systems (TOPLAS)
Pattern-Driven Automatic Parallelization
Scientific Programming
Improving program comprehension by combining code understanding with comment understanding
Knowledge-Based Systems
Algorithm recognition by static analysis and its application in students' submissions assessment
Koli '08 Proceedings of the 8th International Conference on Computing Education Research
Specification and automated recognition of algorithmic concepts with ALCOR
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
Knowledge-based code inspection with ICICLE
IAAI'92 Proceedings of the fourth conference on Innovative applications of artificial intelligence
A multimodeling framework for complex software reuse
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
A toolset for the reengineering of complex computer systems
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Knowledge-centric and language independent framework for safety analysis tools
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Proceedings of the 12th Koli Calling International Conference on Computing Education Research
Novice understanding of program analysis tool notifications
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.02 |
Automatic program analysis is regarded here as both the mechanized process of understanding high-level concepts from program text and the use of those concepts to guide program maintenance. A knowledge-based program analysis tool called PAT, which realizes this concept, is described. PAT uses an object-oriented framework to represent programming concepts and a heuristic-based concept-recognition mechanism to derive high-level functional concepts from the source code. As an example, a segment of a much larger program written in a Pascal-like language is analyzed using PAT.