Search results for "dynamic program analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Patrice Godefroid, Johannes Kinder	Proving memory safety of floating-point computations by combining static and dynamic program analysis.	ISSTA	2010	DBLP DOI BibTeX RDF	static and dynamic program analysis, program verification
2	Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik	A randomized dynamic program analysis technique for detecting real deadlocks.	PLDI	2009	DBLP DOI BibTeX RDF	active testing, concurrency, deadlock detection, dynamic program analysis
2	Silvia Breu	Dynamisches Aspekt-Mining: Methoden und Fallstudien.	Inform., Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	Re-engineering, Aspect mining, Dynamic program analysis
2	Lei Wu, Houari A. Sahraoui, Petko Valtchev	Program comprehension with dynamic recovery of code collaboration patterns and roles.	CASCON	2004	DBLP DOI BibTeX RDF	collaboration, reverse engineering, software visualization, role, design recovery, dynamic program analysis
2	Rainer Weinreich, Josef Pichler	An Integrated Approach for Documenting, Exploring, and Building Framework-Based Software.	TOOLS	2000	DBLP DOI BibTeX RDF	program visualisation, framework based software design, framework based applications, specialized desktop metaphor, framework based development, architecture templates, open tool architecture, application editing, framework parts, software architecture, software architectures, object-oriented programming, software reusability, software libraries, abstraction level, text editing, system documentation, object oriented software development, class libraries, integrated approach, dynamic program analysis, development time
2	Anthony M. Sloane	Generating Dynamic Program Analysis Tools.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	dynamic program analysis tool generation, instrumentation based systems, analysis algorithm specification, implicit storage allocation, automatic sequencing, Wyong system, analysis module specification, Eli compiler generation system, ATOM program instrumentation system, instrumentation code, ATOM instrumented binary, specification based method, instrumentation based implementation, automatic programming, attribute grammars, data sources, dynamic structure
1	Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner, Philippe Clauss	VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework.	CC	2012	DBLP DOI BibTeX RDF
1		Dynamic Program Analysis.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Danilo Ansaloni	Self-refining aspects for dynamic program analysis.	AOSD (Companion)	2011	DBLP DOI BibTeX RDF
1	Arati Baliga, Vinod Ganapathy, Liviu Iftode	Detecting Kernel-Level Rootkits Using Data Structure Invariants.	IEEE Trans. Dependable Sec. Comput.	2011	DBLP DOI BibTeX RDF	Kernel-level rootkits, noncontrol data attacks, invariant inference, static and dynamic program analysis
1	Alex Skaletsky, Tevi Devor, Nadav Chachmon, Robert S. Cohn, Kim M. Hazelwood, Vladimir Vladimirov, Moshe Bach	Dynamic program analysis of Microsoft Windows applications.	ISPASS	2010	DBLP DOI BibTeX RDF
1	Danilo Ansaloni, Walter Binder, Alex Villazón, Philippe Moret	Parallel dynamic analysis on multicores with aspect-oriented programming.	AOSD	2010	DBLP DOI BibTeX RDF	parallelization, frameworks, multicores, programming models, dynamic program analysis, aspect weaving, data race detection
1	Harish Patil, Cristiano Pereira, Mack Stallcup, Gregory Lueck, James Cownie	PinPlay: a framework for deterministic replay and reproducible analysis of parallel programs.	CGO	2010	DBLP DOI BibTeX RDF	repeatable simulation point selection, reproducible debugging, dynamic program analysis, deterministic replay
1	Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, Todd C. Mowry	Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools.	PLDI	2010	DBLP DOI BibTeX RDF	dynamic code optimization, dynamic correctness checking, dynamic program analysis
1	Qin Zhao, Derek Bruening, Saman P. Amarasinghe	Efficient memory shadowing for 64-bit architectures.	ISMM	2010	DBLP DOI BibTeX RDF	shadow memory, dynamic optimization
1	Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer	Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses.	PLDI	2010	DBLP DOI BibTeX RDF	dynamic analysis, context sensitivity, bug detection
1	Changhee Jung, Nathan Clark	DDT: design and evaluation of a dynamic program analysis for optimizing data structure usage.	MICRO	2009	DBLP DOI BibTeX RDF	data structure identification, interface functions, memory graphs
1	Michael Pradel	Dynamically inferring, refining, and checking API usage protocols.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	runtime verification, specification mining
1	Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan	Semantics-aware trace analysis.	PLDI	2009	DBLP DOI BibTeX RDF	semantic tracing, trace views, tracing, testing tools, automated debugging, debugging aids
1	Sriram K. Rajamani	Verification, Testing and Statistics.	FM	2009	DBLP DOI BibTeX RDF
1	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang	Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis.	SPIN	2009	DBLP DOI BibTeX RDF
1	Jim Chow, Tal Garfinkel, Peter M. Chen	VMwareDecoupling Dynamic Program Analysis from Execution in Virtual Environments.	USENIX Annual Technical Conference	2008	DBLP BibTeX RDF
1	Yung-Pin Cheng, Han-Shu Chen	SoftMon: programmable software monitoring with minimum overhead by helper-threading.	SAC	2008	DBLP DOI BibTeX RDF	multi-core CPU, monitoring, SMP, dynamic program analysis, helper threading
1	Elaheh Safari-Sharifabadi, Constantinos Constantinides	Dynamic analysis of Ada programs for comprehension and quality measurement.	SIGAda	2008	DBLP DOI BibTeX RDF	quality measurement and metrics, program comprehension, dynamic program analysis
1	Koushik Sen	Race directed random testing of concurrent programs.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, random testing, race detection
1	Bin Xin, Xiangyu Zhang	Efficient online detection of dynamic control dependence.	ISSTA	2007	DBLP DOI BibTeX RDF	dynamic control dependence, dynamic information flow, dynamic post-dominance, irregular control flow, dynamic program slicing
1	Patrice Godefroid	Compositional dynamic test generation.	POPL	2007	DBLP DOI BibTeX RDF	compositional program analysis, scalability, software testing, program verification, automatic test generation
1	Jochen Quante	Dynamic Object Process Graph Extraction for Program Understanding and Protocol Recovery.	CSMR	2007	DBLP DOI BibTeX RDF
1	Monirul I. Sharif, Kapil Singh, Jonathon T. Giffin, Wenke Lee	Understanding Precision in Host Based Intrusion Detection.	RAID	2007	DBLP DOI BibTeX RDF	Anomaly detection, Program models, Formal analysis
1	Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier	Confirmation of deadlock potentials detected by runtime analysis.	PADTAD	2006	DBLP DOI BibTeX RDF	scheduler synthesis, Java, testing, multi-threading, false positives, deadlock detection, dynamic program analysis
1	Silvia Breu, Thomas Zimmermann, Christian Lindig	HAM: cross-cutting concerns in Eclipse.	ETX	2006	DBLP DOI BibTeX RDF	mining version archives, java, aspect-oriented programming, Eclipse, formal concept analysis, CVS, aspect mining
1	Wei Xu, V. N. Venkatakrishnan, R. Sekar, I. V. Ramakrishnan	A Framework for Building Privacy-Conscious Composite Web Services.	ICWS	2006	DBLP DOI BibTeX RDF
1	Néstor Cataño	Combining Symbolic Execution and Model Checking to Reduce Dynamic Program Analysis Overhead.	Revista Colombiana de Computación	2005	DBLP BibTeX RDF
1	Rainer Koschke, Jochen Quante	On dynamic feature location.	ASE	2005	DBLP DOI BibTeX RDF	formal concept analysis, feature location
1	Lei Wu, Houari A. Sahraoui, Petko Valtchev	Coping with Legacy System Migration Complexity.	ICECCS	2005	DBLP DOI BibTeX RDF	architecture recover, migration complexity, fuzzy prioritization, legacy software, decomposition algorithm, business logic
1	Saddek Bensalem, Klaus Havelund	Dynamic Deadlock Analysis of Multi-threaded Programs.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
1	Lei Wu, Houari A. Sahraoui, Petko Valtchev	Automatic Detecting Code Cooperation.	APSEC	2004	DBLP DOI BibTeX RDF
1	Ankit Goel, Abhik Roychoudhury, Tulika Mitra	Compactly representing parallel program executions.	PPOPP	2003	DBLP DOI BibTeX RDF	program path compression, dynamic program analysis, path profiling
1	Thomas Gschwind, Johann Oberleitner, Martin Pinzger	Using Run-Time Data for Program Comprehension. (PDF / PS)	IWPC	2003	DBLP DOI BibTeX RDF
1	Mireille Ducassé, Jacques Noyé	Logic Programming Environments: Dynamic Program Analysis and Debugging.	J. Log. Program.	1994	DBLP DOI BibTeX RDF