Search results for "program source code"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Hironori Washizaki, Rieko Namiki, Tomoyuki Fukuoka, Yoko Harada, Hiroyuki Watanabe	A Framework for Measuring and Evaluating Program Source Code Quality.	PROFES	2007	DBLP DOI BibTeX RDF
2	Mithun Acharya	Automatic generation and inference of interface properties from program source code.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	Property generation and inference
2	Mark J. Clement, Michael J. Quinn	Symbolic performance prediction of scalable parallel programs. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	symbolic performance prediction, scalable parallel programs, massively parallel processing machines, performance prediction methodology, program source code, algebraic manipulations, parallel processing, analytical model, software performance evaluation, program debugging, hardware architectures, symbol manipulation, performance tuning, symbolic analysis, computational problems
1	Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke	The theory of deadlock avoidance via discrete control.	POPL	2009	DBLP DOI BibTeX RDF	discrete control theory, dynamic deadlock avoidance, parallel programming, concurrent programming, multicore processors, multithreaded programming
1	Hironori Washizaki, Kazuhiro Fukaya, Atsuto Kubo, Yoshiaki Fukazawa	Detecting Design Patterns Using Source Code of Before Applying Design Patterns.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
1	Zhiqiang Lin, Ryan Riley, Dongyan Xu	Polymorphing Software by Randomizing Data Structure Layout.	DIMVA	2009	DBLP DOI BibTeX RDF
1	Tao Xie, Mithun Acharya, Suresh Thummalapenta, Kunal Taneja	Improving software reliability and productivity via mining program source code.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons	Space profiling for parallel functional programs.	ICFP	2008	DBLP DOI BibTeX RDF	cost semantics, scheduling, parallelism, profiling, standard ml
1	Mark Gabel, Zhendong Su	Javert: fully automatic mining of general temporal properties from dynamic traces.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	formal specifications, dynamic analysis, specification mining
1	Sébastien Bardin, Philippe Herrmann	Structural Testing of Executables.	ICST	2008	DBLP DOI BibTeX RDF	structural testing, executable, automatic test data generation
1	María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva	Using Datalog and Boolean Equation Systems for Program Analysis.	FMICS	2008	DBLP DOI BibTeX RDF	boolean equation system, demand-driven evaluation, program analysis, Datalog
1	Yiannis Kanellopoulos, Christos Makris, Christos Tjortjis	An improved methodology on information distillation by mining program source code.	Data Knowl. Eng.	2007	DBLP DOI BibTeX RDF
1	Cristian Coarfa, John M. Mellor-Crummey, Nathan Froyd, Yuri Dotsenko	Scalability analysis of SPMD codes using expectations.	ICS	2007	DBLP DOI BibTeX RDF	performance analysis, parallel programming models, performance visualization, HPCToolkit
1	David Shepherd, Lori L. Pollock, K. Vijay-Shanker	Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task.	PASTE	2007	DBLP DOI BibTeX RDF	program analysis, natural language, aspect mining
1	Saeed Jalili, Mehdi MirzaAghaei	RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach.	SERA	2007	DBLP DOI BibTeX RDF	Runtime Verification (RV), Real-time and Reactive Program, Event-based Real-Time Logic (ERL), Aspect- Oriented Approach
1	J. Louise Finlayson	Providing a tailored overview of program source code.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	fisheye lens view, accessibility, auditory interfaces
1	Christian Arwin, Seyed M. M. Tahaghoghi	Plagiarism detection across programming languages.	ACSC	2006	DBLP DOI BibTeX RDF	program source code similarity, plagiarism detection
1	Jeremy Singer, Chris C. Kirkham	Dynamic analysis of program concepts in Java.	PPPJ	2006	DBLP DOI BibTeX RDF	Java
1	Hui Liu, Hee Beng Kuan Tan	An Approach to Aid the Understanding and Maintenance of Input Validation.	ICSM	2006	DBLP DOI BibTeX RDF
1	Diomidis Spinellis	Project Asset Portability.	IEEE Software	2006	DBLP DOI BibTeX RDF	project assets, software tools, portability
1	Zhiqiang Lin, Nai Xia, Guole Li, Bing Mao, Li Xie	Transparent Run-Time Prevention of Format-String Attacks Via Dynamic Taint and Flexible Validation.	ISC	2006	DBLP DOI BibTeX RDF
1	Peter Amey	Why Programming Languages Still Matter.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Mahdi Fazeli, Reza Farivar, Seyed Ghassem Miremadi	A Software-Based Concurrent Error Detection Technique for PowerPC Processor-based Embedded Systems.	DFT	2005	DBLP DOI BibTeX RDF
1	Giuliano Antoniol, Yann-Gaël Guéhéneuc	Feature Identification: A Novel Approach and a Case Study.	ICSM	2005	DBLP DOI BibTeX RDF	dynamic and static analyses, Program understanding, meta-modelling, feature analysis
1	Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao	Structure-oriented Product Versioning.	ITCC	2005	DBLP DOI BibTeX RDF
1	Diomidis Spinellis	Working with Unix Tools.	IEEE Software	2005	DBLP DOI BibTeX RDF	Unix tools, line-oriented textual data stream, software tools, software construction
1	Yuhanis Yusof, Omer F. Rana	Supporting Program Indexing and Querying in Source Code Digital Libraries.	AOIS	2005	DBLP DOI BibTeX RDF
1	Leonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima	A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.	ICESS	2005	DBLP DOI BibTeX RDF
1	Radu Iosif, Matthew B. Dwyer, John Hatcliff	Translating Java for Multiple Model Checkers: The Bandera Back-End.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF
1	Daniel R. White, Mike Joy	Sentence-based natural language plagiarism detection.	ACM Journal of Educational Resources in Computing	2004	DBLP DOI BibTeX RDF	Natural language, plagiarism detection
1	Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao	Flexible Fine-grained Version Control for Software Documents.	APSEC	2004	DBLP DOI BibTeX RDF
1	Yunsi Fei, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha	Energy-Optimizing Source Code Transformations for OS-driven Embedded Software.	VLSI Design	2004	DBLP DOI BibTeX RDF
1	Jaesik Min, Mark W. Powell, Kevin W. Bowyer	Automated performance evaluation of range image segmentation algorithms.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2004	DBLP DOI BibTeX RDF
1	Hironori Washizaki, Yoshiaki Fukazawa	Component-Extraction-Based Search System for Object-Oriented Programs.	ICSR	2004	DBLP DOI BibTeX RDF
1	Marat Boshernitsan	Program manipulation via interactive transformations.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	programming psychology, interactive environments
1	Marat Boshernitsan	Program manipulation via interactive transformations.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	programming psychology, interactive environments
1	Alistair E. R. Campbell, Geoffrey L. Catto, Eric E. Hansen	Language-independent interactive data visualization.	SIGCSE	2003	DBLP DOI BibTeX RDF	visualization, data-structures, recursion, CS2, scope
1	Satish Chandra Gupta, Tien Nhut Nguyen, Ethan V. Munson	The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and Hypermedia.	APSEC	2003	DBLP DOI BibTeX RDF
1	Tat Kee Tan, Anand Raghunathan, Niraj K. Jha	Software Architectural Transformations: A New Approach to Low Energy Embedded Software.	DATE	2003	DBLP DOI BibTeX RDF
1	Andrian Marcus, Jonathan I. Maletic	Recovering Documentation-to-Source-Code Traceability Links using Latent Semantic Indexing. (PDF / PS)	ICSE	2003	DBLP DOI BibTeX RDF
1	Michael L. Collard, Jonathan I. Maletic, Andrian Marcus	Supporting document and data views of source code.	ACM Symposium on Document Engineering	2002	DBLP DOI BibTeX RDF	XML, program analysis, source code, markup language, abstract syntax tree
1	Keith Hanna	Interactive visual functional programming.	ICFP	2002	DBLP DOI BibTeX RDF	visual, interactive, Haskell, functional, live, edit, stylesheet
1	Jonathan I. Maletic, Michael L. Collard, Andrian Marcus	Source Code Files as Structured Documents. (PDF / PS)	IWPC	2002	DBLP DOI BibTeX RDF
1	Mikhail Auguston, Clinton Jeffery, Scott Underwood	A Framework for Automatic Debugging.	ASE	2002	DBLP DOI BibTeX RDF
1	Gregory McArthur, John Mylopoulos, Siu Kee Keith Ng	An Extensible Tool for Source Code Representation Using XML. (PDF / PS)	WCRE	2002	DBLP DOI BibTeX RDF
1	Clinton Jeffery, Mikhail Auguston, Scott Underwood	Towards Fully Automatic Execution Monitoring.	RISSEF	2002	DBLP DOI BibTeX RDF
1	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby	Expressing checkable properties of dynamic systems: the Bandera Specification Language.	STTT	2002	DBLP DOI BibTeX RDF	Model checking, Object-oriented programs, Temporal specification
1	John Manges	D2Cell data mining utility.	APL	2001	DBLP DOI BibTeX RDF	SQL
1	John M. Mellor-Crummey, Robert J. Fowler, David B. Whalley	Tools for application-oriented performance tuning.	ICS	2001	DBLP DOI BibTeX RDF
1	Dong Hyuk Park, Soo Dong Kim	XML Rule Based Source Code Generator for UML CASE Tool.	APSEC	2001	DBLP DOI BibTeX RDF
1	James M. Bieman, Vanessa Murdock	Finding Code on the World Wibe Web: A Preliminary Investigation.	SCAM	2001	DBLP DOI BibTeX RDF	World Wide Web estimation, code on the World Wide Web, Design, source code analysis
1	Johannes Martin, Ludger Martin	Web Site Maintenance with Software-Engineering Tools.	WSE	2001	DBLP DOI BibTeX RDF
1	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng	Bandera: extracting finite-state models from Java source code.	ICSE	2000	DBLP DOI BibTeX RDF	Java, model checking, abstract interpretation, program verification, slicing, program specialization, model extraction
1	John Manges	D2Cell data mining utility.	ACM SIGAPL APL Quote Quad	2000	DBLP DOI BibTeX RDF	SQL
1	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
1	Ivan Kopecek	Active and Passive Strategies in Dialogue Program Generation.	TSD	2000	DBLP DOI BibTeX RDF
1	Aynur Abdurazik, A. Jefferson Offutt	Using UML Collaboration Diagrams for Static Checking and Test Generation.	UML	2000	DBLP DOI BibTeX RDF
1	Charles L. A. Clarke, Anthony Cox, Susan Elliott Sim	Searching Program Source Code with a Structured Text Retrieval System (poster abstract).	SIGIR	1999	DBLP DOI BibTeX RDF
1	Hee Beng Kuan Tan, Juan Tiang Kow	Extracting Code Fragment that Implements Functionality.	APSEC	1999	DBLP DOI BibTeX RDF
1	Jos T. J. van Eijndhoven, Kees A. Vissers, Evert-Jan D. Pol, P. Struik, R. H. J. Bloks, Pieter van der Wolf, Harald P. E. Vranken, Frans Sijstermans, M. J. A. Tromp, Andy D. Pimentel	TriMedia CPU64 Architecture.	ICCD	1999	DBLP DOI BibTeX RDF
1	Jonathan I. Maletic, Naveen Valluri	Automatic Software Clustering via Latent Semantic Analysis. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF
1	Chris Jermaine	Computing Program Modularizations Using the k-Cut Method. (PDF / PS)	WCRE	1999	DBLP DOI BibTeX RDF	k-cut, reverse engineering, module
1	Ira D. Baxter, Andrew Yahin, Leonardo Mendonça de Moura, Marcelo Sant'Anna, Lorraine Bier	Clone Detection Using Abstract Syntax Trees. (PDF / PS)	ICSM	1998	DBLP DOI BibTeX RDF	Design Maintenance System, Software maintenance, clone detection, software evaluation
1	Terry Cumaranatunge, Ethan V. Munson	Memory Scalability in Constraint-Based Multimedia Style Sheet Systems.	EP	1998	DBLP DOI BibTeX RDF
1	David L. Atkins	Version Sensitive Editing: Change History as a Programming Tool.	SCM	1998	DBLP DOI BibTeX RDF
1	Margaret-Anne D. Storey, F. David Fracchia, Hausi A. Müller	Cognitive Design Elements to Support the Construction of a Mental Model during Software Visualization. (PDF / PS)	WPC	1997	DBLP DOI BibTeX RDF
1	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
1	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
1	Juan E. Villacis, Dennis Gannon	A Web Interface to Parallel Program Source Code Archetypes.	SC	1995	DBLP BibTeX RDF
1	Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck	A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	Ada, concurrency, static analysis, tool integration, software development environments
1	Andrew R. Pleszkun	Techniques for compressing program address traces.	MICRO	1994	DBLP DOI BibTeX RDF	compression, trace generation
1	Robert R. Henry, Kenneth M. Whaley, Bruce Forstall	The University of Washington Illustrating Compiler.	PLDI	1990	DBLP DOI BibTeX RDF
1	Begonia Bi-Hsia Tai, Leonard H. Weiner	PCDEC, an interactive decision table system for personal computers (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF