Search results for "source code analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Paul Klint, Tijs van der Storm, Jurgen J. Vinju	RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation.	SCAM	2009	DBLP DOI BibTeX RDF	source code manipulation, transformation, meta-programming, source code analysis
3	Giuliano Antoniol, Massimiliano Di Penta, Gianluca Masone, Umberto Villano	Compiler Hacking for Source Code Analysis.	Software Quality Journal	2004	DBLP DOI BibTeX RDF	source code analysis tools, XML, gcc, GXL
3	Giuliano Antoniol, Massimiliano Di Penta, Gianluca Masone, Umberto Villano	XOgastan: XML-Oriented gcc AST Analysis and Transformations.	SCAM	2003	DBLP DOI BibTeX RDF	source code analysis tools, XML, gcc, GXL
3	Liz Burd, Stephen Rank	Using Automated Source Code Analysis for Software Evolution.	SCAM	2001	DBLP DOI BibTeX RDF	Evolution, Source Code Analysis, Call-Graph, Dominance Tree
2	Nicolas Gold	Knitting Music and Programming: Reflections on the Frontiers of Source Code Analysis.	SCAM	2011	DBLP DOI BibTeX RDF
2	Scott Grant, James R. Cordy	Estimating the Optimal Number of Latent Concepts in Source Code Analysis.	SCAM	2010	DBLP DOI BibTeX RDF
2	Mark Harman	Why Source Code Analysis and Manipulation Will Always be Important.	SCAM	2010	DBLP DOI BibTeX RDF
2	Wei Xu, Ling Huang, Armando Fox, David A. Patterson, Michael I. Jordan	Detecting large-scale system problems by mining console logs.	SOSP	2009	DBLP DOI BibTeX RDF	console log analysis, monitoring, tracing, statistical learning, source code analysis, pca, problem detection
2	Oege de Moor, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjörn Ekman, Neil Ongkingco, Damien Sereni, Julian Tibble	Keynote Address: .QL for Source Code Analysis.	SCAM	2007	DBLP DOI BibTeX RDF
2	David Binkley	Source Code Analysis: A Road Map.	FOSE	2007	DBLP DOI BibTeX RDF
2	Adrian D. Thurston, James R. Cordy	Evolving TXL.	SCAM	2006	DBLP DOI BibTeX RDF
2	David Binkley, Mark Harman	Forward slices are smaller than backward slices.	SCAM	2005	DBLP DOI BibTeX RDF
2	David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel	Minimal Slicing and the Relationships Between Forms of Slicing.	SCAM	2005	DBLP DOI BibTeX RDF
2	Gregorio Robles, Jesús M. González-Barahona	Executable Source Code and Non-Executable Source Code: Analysis and Relationships.	SCAM	2004	DBLP DOI BibTeX RDF
2	Gregg Rothermel	Using Source-Code Analysis to Help End-User Programmers Create Dependable Software. (PDF / PS)	SCAM	2004	DBLP DOI BibTeX RDF
2	Chris Verhoef	Managing Multi-Billion Dollar IT Budgets using Source Code Analysis. (PDF / PS)	SCAM	2003	DBLP DOI BibTeX RDF
2	David Binkley, Mark Harman	Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms.	SCAM	2003	DBLP DOI BibTeX RDF
2	Ira D. Baxter	Parallel Support for Source Code Analysis and Modification.	SCAM	2002	DBLP DOI BibTeX RDF
2	Juergen Rilling, Ahmed Seffah, Christophe Bouthlier	The CONCEPT Project - Applying Source Code Analysis to Reduce Information Complexity of Static and Dynamic Visualization Techniques.	VISSOFT	2002	DBLP DOI BibTeX RDF
2	Martin P. Ward	The Formal Transformation Approach to Source Code Analysis and Manipulation.	SCAM	2001	DBLP DOI BibTeX RDF	amorphous slicing, conditioned slicing, semantic slicing, Formal Methods, Transformation, Slicing, WSL
2	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
2	Laurent Deruelle, Nordine Melab, Mourad Bouneffa, Henri Basson	Analysis and Manipulation of Distributed Multi-Language Software Code.	SCAM	2001	DBLP DOI BibTeX RDF	Byte-code, Profiling, Source code analysis, Change Propagation, Decompiling
2	Paolo Maggi, Riccardo Sisto	Using Data Flow Analysis to Infer Type Information in Java Bytecode.	SCAM	2001	DBLP DOI BibTeX RDF	Evolution, Source Code Analysis, Call-Graph, Dominance Tree
2	Claire Knight	Smell the Coffee! Uncovering Java Analysis Issues.	SCAM	2001	DBLP DOI BibTeX RDF	Java, Program Comprehension, Source Code Analysis
2	Paul Anderson, David Binkley, Genevieve Rosay, Tim Teitelbaum	Flow Insensitive Points-To Sets.	SCAM	2001	DBLP DOI BibTeX RDF
2	Giuliano Antoniol, Umberto Villano, Massimiliano Di Penta, Gerardo Casazza, Ettore Merlo	Identifying Clones in the Linux Kernel.	SCAM	2001	DBLP DOI BibTeX RDF	metric extraction, clone detection, source code analysis
2	Anthony Cox, Charles L. A. Clarke	A comparative evaluation of techniques for syntactic level source code analysis.	APSEC	2000	DBLP DOI BibTeX RDF	syntactic level source code analysis, program maintenance tools, grep, hierarchical lexical analysis, source file, data structures, data structures, software maintenance, software tools, experiments, program compilers, parsing, abstract syntax
1	Verónica Uquillas Gómez, Stéphane Ducasse, Theo D'Hondt	Ring: A unifying meta-model and infrastructure for Smalltalk source code analysis tools.	Computer Languages, Systems & Structures	2012	DBLP DOI BibTeX RDF
1	Jayanand Asok Kumar, Kenneth M. Butler, Heesoo Kim, Shobha Vasudevan	Early prediction of NBTI effects using RTL source code analysis.	DAC	2012	DBLP DOI BibTeX RDF
1	Ahmad Taherkhani	Using Decision Tree Classifiers in Source Code Analysis to Recognize Algorithms: An Experiment with Sorting Algorithms.	Comput. J.	2011	DBLP DOI BibTeX RDF
1	Sibylle Schupp, Andrew Walenstein	Guest editor's introduction to the special section on source code analysis and manipulation.	Software Quality Journal	2011	DBLP DOI BibTeX RDF
1		11th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM 2011, Williamsburg, VA, USA, September 25-26, 2011	SCAM	2011	DBLP BibTeX RDF
1	Haralambi Haralambiev, Stanimir Boychev, Delyan Lilov, Kraicho Kraichev	Applying source code analysis techniques: A case study for a large mission-critical software system.	EUROCON	2011	DBLP DOI BibTeX RDF
1	Lingyi Liu, Shobha Vasudevan	Efficient validation input generation in RTL by hybridized source code analysis.	DATE	2011	DBLP BibTeX RDF
1	Jens Nicolay, Coen De Roover, Wolfgang De Meuter, Viviane Jonckers	Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs.	SCAM	2011	DBLP DOI BibTeX RDF
1	Steffen Keul	Tuning Static Data Race Analysis for Automotive Control Software.	SCAM	2011	DBLP DOI BibTeX RDF
1	Mark D. Syer, Bram Adams, Ying Zou, Ahmed E. Hassan	Exploring the Development of Micro-apps: A Case Study on the BlackBerry and Android Platforms.	SCAM	2011	DBLP DOI BibTeX RDF
1	Paul E. Black	Counting Bugs is Harder Than You Think.	SCAM	2011	DBLP DOI BibTeX RDF
1	Matthew B. Kelly, Jason S. Alexander, Bram Adams, Ahmed E. Hassan	Recovering a Balanced Overview of Topics in a Software Domain.	SCAM	2011	DBLP DOI BibTeX RDF
1	Kevin Coogan, Saumya K. Debray	Equational Reasoning on x86 Assembly Code.	SCAM	2011	DBLP DOI BibTeX RDF
1	Jason Sawin, Atanas Rountev	Assumption Hierarchy for a CHA Call Graph Construction Algorithm.	SCAM	2011	DBLP DOI BibTeX RDF
1	Ahmed Sfayhi, Houari A. Sahraoui	What You See is What You Asked for: An Effort-Based Transformation of Code Analysis Tasks into Interactive Visualization Scenarios.	SCAM	2011	DBLP DOI BibTeX RDF
1	Radu Marinescu, Cristina Marinescu	Are the Clients of Flawed Classes (Also) Defect Prone?	SCAM	2011	DBLP DOI BibTeX RDF
1	Eric Larson	Program Analysis Too Loopy? Set the Loops Aside.	SCAM	2011	DBLP DOI BibTeX RDF
1	Andrea Avancini, Mariano Ceccato	Security Testing of Web Applications: A Search-Based Approach for Cross-Site Scripting Vulnerabilities.	SCAM	2011	DBLP DOI BibTeX RDF
1	Wei Wang, Michael W. Godfrey	A Study of Cloning in the Linux SCSI Drivers.	SCAM	2011	DBLP DOI BibTeX RDF
1	Tiago L. Alves, Jurriaan Hage, Peter Rademaker	A Comparative Study of Code Query Technologies.	SCAM	2011	DBLP DOI BibTeX RDF
1	Surafel Lemma Abebe, Sonia Haiduc, Paolo Tonella, Andrian Marcus	The Effect of Lexicon Bad Smells on Concept Location in Source Code.	SCAM	2011	DBLP DOI BibTeX RDF
1	Minhaz F. Zibran, Chanchal K. Roy	A Constraint Programming Approach to Conflict-Aware Optimal Scheduling of Prioritized Code Clone Refactoring.	SCAM	2011	DBLP DOI BibTeX RDF
1	Serguei A. Roubtsov, Alexander Serebrenik, Aurélien Mazoyer, Mark van den Brand	I2SD: Reverse Engineering Sequence Diagrams from Enterprise Java Beans with Interceptors.	SCAM	2011	DBLP DOI BibTeX RDF
1	Sandro Schulze, Elmar Jürgens, Janet Feigenspan	Analyzing the Effect of Preprocessor Annotations on Code Clones.	SCAM	2011	DBLP DOI BibTeX RDF
1	Michael L. Collard, Michael J. Decker, Jonathan I. Maletic	Lightweight Transformation and Fact Extraction with the srcML Toolkit.	SCAM	2011	DBLP DOI BibTeX RDF
1	Viktor Pavlu, Markus Schordan, Andreas Krall	Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision.	SCAM	2011	DBLP DOI BibTeX RDF
1	Michael Mehlich	CheckPointer - A C Memory Access Validator.	SCAM	2011	DBLP DOI BibTeX RDF
1	João Carlos Silva 0002, José Creissac Campos, João Saraiva	GUI Inspection from Source Code Analysis.	ECEASST	2010	DBLP BibTeX RDF
1		Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2010, Timisoara, Romania, 12-13 September 2010	SCAM	2010	DBLP BibTeX RDF
1	Huiqing Li, Simon J. Thompson	Refactoring Support for Modularity Maintenance in Erlang.	SCAM	2010	DBLP DOI BibTeX RDF
1	Marcus Edvinsson, Jonas Lundberg, Welf Löwe	Parallel Reachability and Escape Analyses.	SCAM	2010	DBLP DOI BibTeX RDF
1	Devin Kester, Martin Mwebesa, Jeremy S. Bradbury	How Good is Static Analysis at Finding Concurrency Bugs?	SCAM	2010	DBLP DOI BibTeX RDF
1	Bela Ujhazi, Rudolf Ferenc, Denys Poshyvanyk, Tibor Gyimóthy	New Conceptual Coupling and Cohesion Metrics for Object-Oriented Systems.	SCAM	2010	DBLP DOI BibTeX RDF
1	Matthew S. Simpson, Rajeev Barua	MemSafe: Ensuring the Spatial and Temporal Memory Safety of C at Runtime.	SCAM	2010	DBLP DOI BibTeX RDF
1	Katerina Troshina, Yegor Derevenets, Alexander Chernov	Reconstruction of Composite Types for Decompilation.	SCAM	2010	DBLP DOI BibTeX RDF
1	Simon Allier, Stéphane Vaucher, Bruno Dufour, Houari A. Sahraoui	Deriving Coupling Metrics from Call Graphs.	SCAM	2010	DBLP DOI BibTeX RDF
1	Andreas Zeller	Learning from 6, 000 Projects: Mining Models in the Large.	SCAM	2010	DBLP DOI BibTeX RDF
1	Zhi Da Luo, Linda Hillis, Raja Das, Yao Qi	Effective Static Analysis to Find Concurrency Bugs in Java.	SCAM	2010	DBLP DOI BibTeX RDF
1	Romain Brixtel, Mathieu Fontaine, Boris Lesner, Cyril Bazin, Romain Robbes	Language-Independent Clone Detection Applied to Plagiarism Detection.	SCAM	2010	DBLP DOI BibTeX RDF
1	Bas Basten, Tijs van der Storm	AMBIDEXTER: Practical Ambiguity Detection.	SCAM	2010	DBLP DOI BibTeX RDF
1	Lennart C. L. Kats, Eelco Visser	Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability.	SCAM	2010	DBLP DOI BibTeX RDF
1	Jürgen Graf	Speeding Up Context-, Object- and Field-Sensitive SDG Generation.	SCAM	2010	DBLP DOI BibTeX RDF
1	Ripon K. Saha, Muhammad Asaduzzaman, Minhaz F. Zibran, Chanchal K. Roy, Kevin A. Schneider	Evaluating Code Clone Genealogies at Release Level: An Empirical Study.	SCAM	2010	DBLP DOI BibTeX RDF
1	Zoltan Borok-Nagy, Viktor Majer, József Mihalicza, Norbert Pataki, Zoltán Porkoláb	Visualization of C++ Template Metaprograms.	SCAM	2010	DBLP DOI BibTeX RDF
1	Alain Ketterlin, Philippe Clauss	Recovering the Memory Behavior of Executable Programs.	SCAM	2010	DBLP DOI BibTeX RDF
1	Amy Wheeler, Dave Binkley	Subclass Instantiation Distribution.	SCAM	2010	DBLP DOI BibTeX RDF
1	Michael Píse	The Fika Parser Generator.	SCAM	2010	DBLP DOI BibTeX RDF
1	Stephen W. Thomas, Bram Adams, Ahmed E. Hassan, Dorothea Blostein	Validating the Use of Topic Models for Software Evolution.	SCAM	2010	DBLP DOI BibTeX RDF
1	Michael Würsch, Giacomo Ghezzi, Gerald Reif, Harald Gall	Supporting developers with natural language queries.	ICSE	2010	DBLP DOI BibTeX RDF	conceptual queries, semantic web, software maintenance, software evolution, natural language, tool support, source code analysis
1	Virgil D. Gligor	Architectures for practical security.	SACMAT	2010	DBLP DOI BibTeX RDF	architectures
1	Michael W. Godfrey, Bogdan Korel	Editorial for Special Issue of JASE on Source Code Analysis and Manipulation.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF
1	Andrea De Lucia, Vincenzo Deufemia, Carmine Gravino, Michele Risi	Design pattern recovery through visual language parsing and source code analysis.	Journal of Systems and Software	2009	DBLP DOI BibTeX RDF
1	James R. Cordy, Lu Zhang 0023	Guest Editorial for the Special Issue on Source Code Analysis andManipulation, SCAM 2008.	Information & Software Technology	2009	DBLP DOI BibTeX RDF
1		Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2009, Edmonton, Alberta, Canada, September 20-21, 2009	SCAM	2009	DBLP BibTeX RDF
1	Dietmar Seipel, Andreas M. Boehm, Markus Fröhlich	JSquash: Source Code Analysis of Embedded Database Applications for Determining Sql Statements.	INAP	2009	DBLP DOI BibTeX RDF
1	Rebecca Tiarks, Rainer Koschke, Raimar Falke	An Assessment of Type-3 Clones as Detected by State-of-the-Art Tools.	SCAM	2009	DBLP DOI BibTeX RDF	clone categorization, type-3 clones, software clones
1	Géraud Canet, Pascal Cuoq, Benjamin Monate	A Value Analysis for C Programs.	SCAM	2009	DBLP DOI BibTeX RDF	tool demo, static analysis, C, abstract interpretation, software verification
1	Ralf Lämmel, Vadim Zaytsev	Recovering Grammar Relationships for the Java Language Specification.	SCAM	2009	DBLP DOI BibTeX RDF
1	Tobias Gutzmann, Tamara Steijger	Backporting Java 5 Code.	SCAM	2009	DBLP DOI BibTeX RDF
1	Christian Prause	Maintaining Fine-Grained Code Metadata Regardless of Moving, Copying and Merging.	SCAM	2009	DBLP DOI BibTeX RDF	code metadata, code evolution, clone detection, document similarity, code ownership
1	Michael Achenbach, Klaus Ostermann	Engineering Abstractions in Model Checking and Testing.	SCAM	2009	DBLP DOI BibTeX RDF
1	Martin P. Ward	The FermaT Maintenance Environment Tool Demonstration.	SCAM	2009	DBLP DOI BibTeX RDF	formal methods, reverse engineering, Program transformation, analysis, migration, transformation system
1	Valentin David, Magne Haveraaen	Concepts as Syntactic Sugar.	SCAM	2009	DBLP DOI BibTeX RDF
1	Jaime Spacco, Chadd C. Williams	Lightweight Techniques for Tracking Unique Program Statements.	SCAM	2009	DBLP DOI BibTeX RDF	levenshtein, differencing tools, mining software archives, line-tracking, diff
1	Ju Qian, Yuming Zhou, Baowen Xu	Improving Side-Effect Analysis with Lazy Access Path Resolving.	SCAM	2009	DBLP DOI BibTeX RDF	must alias, points-to analysis, side-effect
1	Robert Charles Lange, Spiros Mancoridis	thr2csp: Toward Transforming Threads into Communicating Sequential Processes.	SCAM	2009	DBLP DOI BibTeX RDF	concurrency, reverse engineering, communicating sequential processes
1	El Hachemi Alikacem, Houari A. Sahraoui	A Metric Extraction Framework Based on a High-Level Description Language.	SCAM	2009	DBLP DOI BibTeX RDF	Metric extraction, source code representation, meta-model, object-oriented metrics
1	Tiago L. Alves, Joost Visser	Static Estimation of Test Coverage.	SCAM	2009	DBLP DOI BibTeX RDF	metrics, static analysis, estimation, slicing, test coverage
1	David Binkley, Mark Harman	Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters.	SCAM	2009	DBLP DOI BibTeX RDF	Dependence Cluster
1	Tobias Gutzmann, Antonina Khairova, Jonas Lundberg, Welf Löwe	Towards Comparing and Combining Points-to Analyses.	SCAM	2009	DBLP DOI BibTeX RDF	analysis precision, interpreting analysis results, static analysis, dynamic analysis, points-to analysis
1	Dennis Giffhorn	Chopping Concurrent Programs.	SCAM	2009	DBLP DOI BibTeX RDF	chopping, concurrency, program analysis, slicing
1	Nils Göde	Evolution of Type-1 Clones.	SCAM	2009	DBLP DOI BibTeX RDF	clone mapping, software clones, evolution model
1	James Hamilton, Sebastian Danicic	An Evaluation of Current Java Bytecode Decompilers.	SCAM	2009	DBLP DOI BibTeX RDF	java, bytecode, decompilation