Search results for "program understanding"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Scott R. Tilley, Shihong Huang	A qualitative assessment of the efficacy of UML diagrams as a form of graphical documentation in aiding program understanding.	SIGDOC	2003	DBLP DOI BibTeX RDF	Unified Modeling Language (UML), assessment, program understanding, graphical documentation
3	Shihong Huang, Scott R. Tilley	Workshop on Graphical Documentation for Programmers: Assessing the Efficacy of UML Diagrams for Program Understanding. (PDF / PS)	IWPC	2003	DBLP DOI BibTeX RDF	UML, assessment, program understanding, graphical documentation
3	Scott R. Tilley, Shihong Huang	On Selecting Software Visualization Tools for Program Understanding in an Industrial Context. (PDF / PS)	IWPC	2002	DBLP DOI BibTeX RDF	tool selection, program understanding, software visualization, industry
3	Yang Li, Hongji Yang	Simplicity: A Key Engineering Concept for Program Understanding. (PDF / PS)	IWPC	2001	DBLP DOI BibTeX RDF	knowledge recovery, program understanding, program partitioning, programming styles
3	Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers	Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization.	PASTE	2001	DBLP DOI BibTeX RDF	calpa, dynamic analysis, program understanding, program optimization, points-to analysis, alias analysis, program instrumentation
3	A. S. Bhullar, Louis G. Birta	PUMP: A Program Understanding Tool for MODSIM Programs.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	MODSIM, object-oriented programming, Program understanding, modeling and simulation
3	Francoise Balmas, Harald Wertz, Janice Singer	Understanding Program Understanding. (PDF / PS)	IWPC	2000	DBLP DOI BibTeX RDF	working session, research group, program understanding
3	Jonathan I. Maletic, Andrian Marcus	Using latent semantic analysis to identify similarities in source code to support program understanding.	ICTAI	2000	DBLP DOI BibTeX RDF	source code similarities, information retrieval method, corpus based statistical method, software component clustering, nontrivial software system, internal documentation, information retrieval, reverse engineering, statistical analysis, software components, natural languages, natural language, program understanding, source code, computational linguistics, latent semantic analysis, Mosaic, system documentation, LSA
3	Christopher A. Welty	Augmenting Abstract Syntax Trees for Program Understanding. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	low-level searches, information delocalization, code-level knowledge representation, software information systems, reverse engineering, software maintenance, documentation, program understanding, source code, automated reasoning, discovery, abstract syntax trees
3	Margaret-Anne D. Storey, Kenny Wong, Hausi A. Müller	How Do Program Understanding Tools Affect How Programmers Understand Programs? (PDF / PS)	WCRE	1997	DBLP DOI BibTeX RDF	program understanding tools, reverse engineering, user study, software maintenance, program comprehension, software visualization, Fisheye views
3	Giuliano Antoniol, Roberto Fiutem, G. Lutteri, Paolo Tonella, S. Zanfei, Ettore Merlo	Program Understanding and Maintenance with the CANTO Environment.	ICSM	1997	DBLP DOI BibTeX RDF	Maintenance environment, program understanding environment
3	Salwa K. Abd-El-Hafiz	Effects of Decomposition Techniques on Knowledge-Based Program Understanding.	ICSM	1997	DBLP DOI BibTeX RDF	reverse engineering, Knowledge base, program understanding, slicing, loops, program decomposition
3	Salwa K. Abd-El-Hafiz	Evaluation of a Knowledge-Based Approach to Program Understanding. (PDF / PS)	WCRE	1996	DBLP DOI BibTeX RDF	first order predicate logic annotations, program loops, Pascal programs, system usability, knowledge based systems, plans, program understanding, knowledge-based approach
3	René Klösch, Roland Mittermeir	Improving Program Understanding by Unfolding Layers of Interacting Patterns. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	rearchitecturing, software layers, reverse engineering, program understanding, software patterns
3	Scott R. Tilley, Dennis B. Smith, Santanu Paul	Towards a Framework for Program Understanding. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	reverse engineering, program understanding, classification framework
3	Kenny Wong	On Inserting Program Understanding Technology into the Software Change Process. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	metaprocess, technology insertion, reverse engineering, software process, program understanding
3	Alex Quilici, Steven Woods	Toward a Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	Constraint Satisfaction, Program understanding, Algorithm evaluation
3	Salwa K. Abd-El-Hafiz	Evaluation of a Knowledge-Based Approach to Program Understanding. (PDF / PS)	ICSM	1996	DBLP DOI BibTeX RDF	knowledge-base, program understanding, loops, First order predicate logic
3	Steven G. Woods, Qiang Yang	The Program Understanding Problem: Analysis and a Heuristic Approach.	ICSE	1996	DBLP BibTeX RDF	complex source code, formal complexity results, heuristic solutions, problem solving model, program understanding problem, computational complexity, reverse engineering, conceptual models, NP hard, CSPs, search problems, constraint satisfaction problems, constraint propagation, search algorithms, constraint handling, heuristic approach
3	William E. Howden, G. M. Shi	Temporal Event Analysis and Program Understanding.	COMPSAC	1995	DBLP DOI BibTeX RDF	Event Sequence Analysis, Static Analysis, Program Understanding, Comments
2	Mauricio J. Serrano, Xiaotong Zhuang	Placement optimization using data context collected during garbage collection.	ISMM	2009	DBLP DOI BibTeX RDF	data context, data context analysis, program understanding, placement optimization
2	Hina Shah, Carsten Görg, Mary Jean Harrold	Visualization of exception handling constructs to support program understanding.	SOFTVIS	2008	DBLP DOI BibTeX RDF	Eclipse plugin, exception handling, program understanding, multiple views, interactive visualization
2	Jochen Quante	Do Dynamic Object Process Graphs Support Program Understanding? - A Controlled Experiment.	ICPC	2008	DBLP DOI BibTeX RDF
2	Ju Qian, Baowen Xu	Scenario oriented program slicing.	SAC	2008	DBLP DOI BibTeX RDF	scenario, decomposition, program understanding, program slicing
2	Ju Qian, Baowen Xu	Program slicing under UML scenario models.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	UML, scenario, program understanding, program slicing
2	Tim Trese, Scott R. Tilley	Documenting software systems with views V: towards visual documentation of design patterns as an aid to program understanding.	SIGDOC	2007	DBLP DOI BibTeX RDF	design patterns, documentation, program understanding
2	Aline Vasconcelos, Cláudia Werner	Architecture Recovery and Evaluation Aiming at Program Understanding and Reuse.	QoSA	2007	DBLP DOI BibTeX RDF	data mining, software reuse, dynamic analysis, program understanding, software inspection, Architecture recovery, architecture evaluation
2	Teemu Kanstrén	Towards Trace Based Model Synthesis for Program Understanding and Test Automation.	ICSEA	2007	DBLP DOI BibTeX RDF
2	Christopher Oezbek, Lutz Prechelt	JTourBus: Simplifying Program Understanding by Documentation that Provides Tours Through the Source Code.	ICSM	2007	DBLP DOI BibTeX RDF
2	Manu Sridharan, Stephen J. Fink, Rastislav Bodík	Thin slicing.	PLDI	2007	DBLP DOI BibTeX RDF	debugging, program understanding, slicing
2	Tao Xie, Evan Martin, Hai Yuan	Automatic extraction of abstract-object-state machines from unit-test executions.	ICSE	2006	DBLP DOI BibTeX RDF	software testing, debugging, program understanding
2	Bradley L. Vinz, Letha H. Etzkorn	A Synergistic Approach to Program Comprehension.	ICPC	2006	DBLP DOI BibTeX RDF	program understanding, comments
2	Andrew J. Ko, Brad A. Myers, Michael J. Coblenz, Htet Htet Aung	An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Program investigation, program comprehension, program understanding, empirical software engineering, information foraging, information scent
2	Vladimir Jakobac, Nenad Medvidovic, Alexander Egyed	Separating architectural concerns to ease program understanding.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
2	Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field	Dependent Types for Program Understanding.	TACAS	2005	DBLP DOI BibTeX RDF
2	Katsuhiko Gondow, Tomoya Suzuki II, Hayato Kawashima	Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C.	APSEC	2004	DBLP DOI BibTeX RDF
2	Yachai Limpiyakorn, Ilene Burnstein	Applying the Signature Concept to Plan-Based Program Understanding.	ICSM	2003	DBLP DOI BibTeX RDF
2	Lerina Aversano, Gerardo Canfora, Andrea De Lucia, Silvio Stefanucci	Evolving Ispell: A Case Study of Program Understanding for Reuse. (PDF / PS)	IWPC	2002	DBLP DOI BibTeX RDF
2	Arie van Deursen, Joost Visser	Building Program Understanding Tools Using Visitor Combinators. (PDF / PS)	IWPC	2002	DBLP DOI BibTeX RDF	visitor design pattern, Program analysis, program comprehension, software visualization
2	Scott R. Tilley, Shihong Huang	Documenting software systems with views III: towards a task-oriented classification of program visualization techniques.	SIGDOC	2002	DBLP DOI BibTeX RDF	visualization, documentation, program understanding
2	Scott R. Tilley, Ken Wong	Workshop on graphical documentation for programmers.	SIGDOC	2002	DBLP DOI BibTeX RDF	visualization, documentation, program understanding
2	Bernt Kullbach, Volker Riediger	Folding: An Approach to Enable Program Understanding of Preprocessed Languages. (PDF / PS)	WCRE	2001	DBLP DOI BibTeX RDF
2	Thomas Zimmermann, Andreas Zeller	Visualizing Memory Graphs.	Software Visualization	2001	DBLP DOI BibTeX RDF	data types and structures, graphs, program understanding, diagnostics, debugging aids
2	Dragan Bojic, Dusan M. Velasevic	A Use-Case Driven Method of Architecture Recovery for Program Understanding and Reuse Reengineering. (PDF / PS)	CSMR	2000	DBLP DOI BibTeX RDF
2	Robert J. Walker, Gail C. Murphy, Jeffrey Steinbok, Martin P. Robillard	Efficient mapping of software system traces to architectural views.	CASCON	2000	DBLP DOI BibTeX RDF	execution information, software integration testing, performance analysis, encoding, program understanding, traces, paths, dynamic information
2	Yang Li, Hongji Yang, William C. Chu	Fusing ambiguous domain knowledge slices in a reverse engineering process.	APSEC	2000	DBLP DOI BibTeX RDF	ambiguous domain knowledge slices, domain knowledge recovery, ambiguity handling, reverse engineering, reverse engineering, knowledge representation, information technology, software reuse, program understanding, software reusability, source code, system evolution, legacy code, belief maintenance
2	Letha H. Etzkorn, Harry S. Delugach	Towards a Semantic Metrics Suite for Object-Oriented Design.	TOOLS	2000	DBLP DOI BibTeX RDF	natural language processing, knowledge-based systems, program understanding, semantic networks, conceptual graphs, object-oriented metrics
2	Arie van Deursen, Leon Moonen	Exploring Legacy Systems using Types. (PDF / PS)	WCRE	2000	DBLP DOI BibTeX RDF	variable usage, Software maintenance, program analysis, hypertext, program understanding, type inference, documentation generation
2	Margaret Ann Francel, Spencer Rugaber	The Relationship of Slicing and Debugging to Program Understanding. (PDF / PS)	IWPC	1999	DBLP DOI BibTeX RDF	reverse engineering, debugging, Program slicing
2	Ilene Burnstein, Floyd Saner, Yachai Limpiyakorn	Using an Artificial Intelligence Approach to Build an Automated Program Understanding/Fault Localization Tool. (PDF / PS)	ICTAI	1999	DBLP DOI BibTeX RDF	AI in Software Engineering, Fuzzy Logic and Reasoning Under Uncertainty, Genetic Algorithms, Intelligent Information Retrieval
2	Bruno Caprile, Paolo Tonella	Nomen Est Omen: Analyzing the Language of Function Identifiers. (PDF / PS)	WCRE	1999	DBLP DOI BibTeX RDF	Naming conventions, Informal information analysis, Reverse engineering, Software maintenance, Program understanding, Code analysis
2	Jean Henrard, Vincent Englebert, Jean-Marc Hick, Didier Roland, Jean-Luc Hainaut	Program Understanding in Databases Reverse Engineering.	DEXA	1998	DBLP DOI BibTeX RDF
2	Richard Clayton, Spencer Rugaber, Linda M. Wills	Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts. (PDF / PS)	ASE	1998	DBLP DOI BibTeX RDF	reverse engineering, software tools, program understanding, domain analysis
2	R. Gaugne	A Static Analysis for Program Understanding and Debugging. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	static pointer analysis technique, C subset, user-defined assertions, static assertions, hypothetical assertions, circular structures, reverse engineering, program understanding, program debugging, automatic verification, assumptions, recursive data structures
2	Anneliese von Mayrhauser, A. Marie Vans	Program understanding needs during corrective maintenance of large scale software.	COMPSAC	1997	DBLP DOI BibTeX RDF	program understanding needs, large scale software, software understanding field study, professional software maintenance engineers, reverse engineering, software tool, productivity, information needs, corrective maintenance
2	Alyson A. Reeves, Judith D. Schlesinger	JACKAL: A Hierarchical Approach to Program Understanding. (PDF / PS)	WCRE	1997	DBLP DOI BibTeX RDF	JACKAL, cliches, abstract language, cliche matching task, AL representation, reverse engineering, program understanding, matching algorithms, hierarchical approach, high level
2	Pui-Shan Chan, Malcolm Munro	PUI: A Tool to Support Program Understanding. (PDF / PS)	WPC	1997	DBLP DOI BibTeX RDF
2	Richard Clayton, Spencer Rugaber, Lyman Taylor, Linda M. Wills	A Case Study of Domain-based Program Understanding. (PDF / PS)	WPC	1997	DBLP DOI BibTeX RDF	reengineering, domain analysis, Mosaic
2	Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo	Points-to Analysis for Program Understanding. (PDF / PS)	WPC	1997	DBLP DOI BibTeX RDF
2	Stan Jarzabek, Irene Woon	Towards a precise description of reverse engineering methods and tools.	CSMR	1997	DBLP DOI BibTeX RDF	reverse engineering methods, reverse engineering techniques, design abstractions, incomplete program documentation, reverse engineering tools, source language, formal mapping, source language design model, use object recovery scenarios, reverse engineering, program understanding, explicit knowledge, automatic recovery
2	Thomas Kunz	Evaluating process clusters to support automatic program understanding. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	process cluster evaluation, automatic program understanding, static source analysis, application execution, reverse engineering, software maintenance, software maintenance, distributed processing, software tools, software tools, software design, distributed application, program debugging, program diagnostics, interprocess communication, program development, distributed debugging, quantitative evaluation, application design, prototypical tools
2	Darren C. Atkinson, William G. Griswold	The Design of Whole-Program Analysis Tools.	ICSE	1996	DBLP BibTeX RDF	software architecture, compiler, program understanding, program slicing, context-sensitive, interprocedural analysis, demand-driven
2	Roberto Fiutem, Paolo Tonella, Giuliano Antoniol, Ettore Merlo	A Cliche'-Based Environment to Support Architectural Reverse Engineering. (PDF / PS)	ICSM	1996	DBLP DOI BibTeX RDF	user interface, software architectures, reverse engineering, program understanding, flow analysis
2	Roberto Fiutem, Paolo Tonella, Giuliano Antoniol, Ettore Merlo	A Cliche-Based Environment to Support Architectural Reverse Engineering. (PDF / PS)	WCRE	1996	DBLP DOI BibTeX RDF	cliche-based environment, architectural reverse engineering, hierarchical architectural model, flow analysis techniques, software architecture, reverse engineering, software maintenance, software tools, program understanding, legacy systems, mental model, software architectural analysis
2	Santanu Paul, Atul Prakash	A Query Algebra for Program Databases.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Software reverse engineering, program query language, program understanding, source code analysis, query algebra
2	Michael J. Whitney, Morris Bernstein, Renato de Mori, Kostas Kontogiannis, Brain Corrie, Hausi A. Müller, Scott R. Tilley, Ettore Merlo, John Mylopoulos, Kenny Wong, J. Howard Johnson, James McDaniel, Martin Stanley	Using an integrated toolset for program understanding.	CASCON	1995	DBLP DOI BibTeX RDF
2	Margaret-Anne D. Storey, Hausi A. Müller	Manipulating and documenting software structures using SHriMP views. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	SHriMP views, multi-million line legacy system, fisheye techniques, Simple Hierarchical Multi-Perspective views, reverse engineering system, reverse engineering, software maintenance, browsing, visual programming, program understanding, diagrams, data visualisation, systems re-engineering, system re-engineering, software documentation, visualization technique, system documentation, Rigi
2	Kenny Wong, Scott R. Tilley, Hausi A. Müller, Margaret-Anne D. Storey	Structural Redocumentation: A Case Study.	IEEE Software	1995	DBLP DOI BibTeX RDF	software architecture, reverse engineering, Documentation, program understanding, legacy software
2	Graham W. Ewart, Marijana Tomic	Applying program understanding technology to IBM product documentation.	CASCON	1994	DBLP DOI BibTeX RDF	bookmaster documentation, reverse engineering, refine, program understanding, abstract syntax tree, information structure, rigi
2	John Mylopoulos, Martin Stanley, Kenny Wong, Morris Bernstein, Renato de Mori, Graham W. Ewart, Kostas Kontogiannis, Ettore Merlo, Hausi A. Müller, Scott R. Tilley, Marijana Tomic	Towards an integrated toolset for program understanding.	CASCON	1994	DBLP DOI BibTeX RDF
2	Kenny Wong	Managing views in a program understanding tool.	CASCON	1993	DBLP DOI BibTeX RDF
2	Hausi A. Müller, Scott R. Tilley, Kenny Wong	Understanding software systems using reverse engineering technology perspectives from the Rigi project.	CASCON	1993	DBLP DOI BibTeX RDF	reverse engineering, software evolution, program understanding, legacy software
2	Mary Jean Harrold, Brian A. Malloy	A Unified Interprocedural Program Representation for a Maintenance Environment.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	unified interprocedural graph, unified interprocedural program representation, software maintenance, software maintenance, program understanding, data dependence, programming theory, data flow, edges, control flow, nodes, control dependence, access time, storage space
2	Kostas Kontogiannis	Toward program representation and program understanding using process algebras.	CASCON	1992	DBLP DOI BibTeX RDF
2	Erich B. Buss, John Henshaw	Experiences in program understanding.	CASCON	1992	DBLP DOI BibTeX RDF
2	John A. Lehman	An Empirical Comparison of Textual and Graphical Data Structure Documentation for Cobol Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	textual data structure documentation, graphical data structure documentation, Cobol programs, textual tools, program understanding phase, Cobol program maintenance, word processinga, data structures, computer graphics, COBOL, system documentation, graphical tools
1	Lisa J. Burnell, Eric Horvitz	A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging	CoRR	2013	DBLP BibTeX RDF
1	Mark Marron, Cesar Sanchez, Zhendong Su, Manuel Fähndrich	Abstracting Runtime Heaps for Program Understanding	CoRR	2012	DBLP BibTeX RDF
1	Aline Vasconcelos, Cláudia Werner	Evaluating reuse and program understanding in ArchMine architecture recovery approach.	Inf. Sci.	2011	DBLP DOI BibTeX RDF
1	Tassilo Horn	Program Understanding: A Reengineering Case for the Transformation Tool Contest	TTC	2011	DBLP DOI BibTeX RDF
1	Edward Aftandilian, Sean Kelley, Connor Gramazio, Nathan P. Ricci, Sara L. Su, Samuel Z. Guyer	Heapviz: interactive heap visualization for program understanding and debugging.	SOFTVIS	2010	DBLP DOI BibTeX RDF
1	Steven P. Reiss	Visualizing the Java heap.	ICSE	2010	DBLP DOI BibTeX RDF	dynamic program understanding, object ownership, memory management, programming tools
1	Steven P. Reiss, Suman Karumuri	Visualizing threads, transactions and tasks.	PASTE	2010	DBLP DOI BibTeX RDF	program understanding, software visualization, reactive systems, event handling
1	Katsuhiko Gondow, Naoki Fukuyasu, Yoshitaka Arahori	MieruCompiler: integrated visualization tool with "horizontal slicing" for educational compilers.	SIGCSE	2010	DBLP DOI BibTeX RDF	compiler course, rich internet application (ria), visualization, code generation, program understanding
1	Jun Sawamoto, Eiji Sugino, Norihisa Segawa, Yuji Wada	Program Learning Using Static Information and Dynamic Program Execution Slices.	AINA Workshops	2010	DBLP DOI BibTeX RDF	execution history, program reuse, program understanding, program learning, program maintenance
1	Mehdi Amoui, Sen Li, Edson A. Oliveira Jr., Ladan Tahvildari	Towards Developing a Meta-model for Comprehending Software Adaptability.	ICPC	2010	DBLP DOI BibTeX RDF	adaptability, program understanding, meta-model
1	Dirk Beyer, Ashgan Fararooy	DepDigger: A Tool for Detecting Complex Low-Level Dependencies.	ICPC	2010	DBLP DOI BibTeX RDF	Refactoring, Program Understanding, Dependency Analysis, Software Structure
1	Raymond P. L. Buse, Westley Weimer	Learning a Metric for Code Readability.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF	Software readability, machine learning, software maintenance, program understanding, FindBugs, code metrics
1	Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari	Oracle-guided component-based program synthesis.	ICSE	2010	DBLP DOI BibTeX RDF	oracle-based learning, SAT, program synthesis, SMT
1	Martin T. Vechev, Eran Yahav, Greta Yorsh	PHALANX: parallel checking of expressive heap assertions.	ISMM	2010	DBLP DOI BibTeX RDF	parallel garbage collector, virtual machine, ownership
1	Sumit Gulwani	Dimensions in program synthesis.	PPDP	2010	DBLP DOI BibTeX RDF	deductive synthesis, inductive synthesis, sat solving, smt solving, machine learning, genetic programming, programming by demonstration, belief propagation, programming by examples, probabilistic inference
1	Tomaz Kosar, Marjan Mernik, Matej Crepinsek, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira, Nuno Oliveira	Influence of domain-specific notation to program understanding.	IMCSIT	2009	DBLP DOI BibTeX RDF
1	Daniel Porto, Manoel G. Mendonça, Sandra Camargo Pinto Ferraz Fabbri	The Use of Reading Technique and Visualization for Program Understanding.	SEKE	2009	DBLP BibTeX RDF
1	Hector M. Olague, Sampson Gholston	Program Understanding Through Indentation.	Software Engineering Research and Practice	2009	DBLP BibTeX RDF
1	Parag C. Pendharkar	An automated procedure for identifying poorly documented object oriented software components.	C3S2E	2009	DBLP DOI BibTeX RDF	automated reasoning techniques, testing, software testing, software maintenance, reuse, program understanding, component-based systems, maintenance and evolution, documentation systems
1	Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Refining the control structure of loops using static analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
1	Geoffrey Lefebvre, Brendan Cully, Michael J. Feeley, Norman C. Hutchinson, Andrew Warfield	Tralfamadore: unifying source code and execution experience.	EuroSys	2009	DBLP DOI BibTeX RDF	debugging, dynamic analysis, program understanding, trace analysis, querying execution
1	Scott R. Tilley	Documenting software systems with views VI: lessons learned from 15 years of research & practice.	SIGDOC	2009	DBLP DOI BibTeX RDF	XML, visualization, UML, reverse engineering, program understanding, views, graphical documentation
1	Mauricio J. Serrano, Xiaotong Zhuang	Building Approximate Calling Context from Partial Call Traces.	CGO	2009	DBLP DOI BibTeX RDF	Call Context Analysis, Program Understanding, Calling Context Tree
1	Philippe Dugerdil, David Kony, Javier Belmonte	An Eclipse Plugin for the Automated Reverse-Engineering of Software Programs.	ITNG	2009	DBLP DOI BibTeX RDF	unified development process, eclipse plugin, reverse engineering, program understanding