PROUST: Knowledge-Based Program Understanding
IEEE Transactions on Software Engineering
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Intention-based diagnosis of errors in novice programs
Intention-based diagnosis of errors in novice programs
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experiments on slicing-based debugging aids
Papers presented at the first workshop on empirical studies of programmers on Empirical studies of programmers
Experimental evaluation of software documentation formats
Journal of Systems and Software
Understanding programs as devices
Understanding programs as devices
Automatic control understanding for natural programs
Automatic control understanding for natural programs
Automated program recognition by graph parsing
Automated program recognition by graph parsing
A knowledge-based approach to automatic program analysis
A knowledge-based approach to automatic program analysis
Empirical Studies of Programming Knowledge
IEEE Transactions on Software Engineering
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hybrid slicing: an approach for refining static slices using dynamic information
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Precise interprocedural chopping
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of 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
Hybrid slicing: integrating dynamic information with static analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
A C++ data model supporting reachability analysis and dead code detection
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection
IEEE Transactions on Software Engineering
Call-mark slicing: an efficient and economical way of reducing slice
Proceedings of the 21st international conference on Software engineering
Applying AI to Software Renovation
Automated Software Engineering
Computational Divided Differencing and Divided-Difference Arithmetics
Higher-Order and Symbolic Computation
A Requirement-Based Approach to Data Modeling and Re-Engineering
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
The Multimedia Maintenance Interface (MuMMI) System
COMPSAC '00 24th International Computer Software and Applications Conference
Program Slicing of Hardware Description Languages
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
CAPPLES - A Capacity Planning and Performance Analysis Method for the Migration of Legacy Systems
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
An empirical study of predicate dependence levels and trends
Proceedings of the 25th International Conference on Software Engineering
Automatic parallelization for symmetric shared-memory multiprocessors
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Extracting object-oriented specification from procedurally oriented programs
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Strongest postcondition semantics as the formal basis for reverse engineering
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
An approach to program understanding by natural language understanding
Natural Language Engineering
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
IEEE Transactions on Software Engineering
Source Code Analysis: A Road Map
FOSE '07 2007 Future of Software Engineering
EATIS '07 Proceedings of the 2007 Euro American conference on Telematics and information systems
Customization change impact analysis for erp professionals via program slicing
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Dependence clusters in source code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Field-sensitive program dependence analysis
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
A vocabulary of program slicing-based techniques
ACM Computing Surveys (CSUR)
| Hi-index | 48.22 |