Search results for "PASTE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Peter Dinges, Minas Charalambides, Gul Agha	Automated inference of atomic sets for safe concurrent execution.	PASTE	2013	DBLP DOI BibTeX RDF
1	Charng-Da Lu	Automatically mining program build information via signature matching.	PASTE	2013	DBLP DOI BibTeX RDF
1	Aibek Sarimbekov, Andreas Sewe, Stephen Kell, Yudi Zheng, Walter Binder, Lubomír Bulej, Danilo Ansaloni	A comprehensive toolchain for workload characterization across JVM languages.	PASTE	2013	DBLP DOI BibTeX RDF
1	Stephen N. Freund, Corina S. Pasareanu (eds.)	ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE '13, Seattle, WA, USA, June 20, 2013	PASTE	2013	DBLP BibTeX RDF
1	Varun Modi, Subhajit Roy 0001, Sanjeev K. Aggarwal	Exploring program phases for statistical bug localization.	PASTE	2013	DBLP DOI BibTeX RDF
1	Matej Vitásek, Walter Binder, Matthias Hauswirth	ShadowData: shadowing heap objects in Java.	PASTE	2013	DBLP DOI BibTeX RDF
1	Masahiro Yasugi, Yuki Matsuda 0006, Tomoharu Ugawa	A proper performance evaluation system that summarizes code placement effects.	PASTE	2013	DBLP DOI BibTeX RDF
1	Thomas Ball, Peli de Halleux, Nikhil Swamy, Daan Leijen	Increasing human-tool interaction via the web.	PASTE	2013	DBLP DOI BibTeX RDF
1	Jeff Foster, Lori L. Pollock (eds.)	Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, PASTE'11, Szeged, Hungary, September 5-9, 2011	PASTE	2011	DBLP BibTeX RDF
1	Dawei Qi, Minh Ngoc Ngo, Tao Sun, Abhik Roychoudhury	Locating failure-inducing environment changes.	PASTE	2011	DBLP DOI BibTeX RDF
1	Andrew R. Bernat, Barton P. Miller	Anywhere, any-time binary instrumentation.	PASTE	2011	DBLP DOI BibTeX RDF
1	Marc Fisher II, Jan Wloka, Frank Tip, Barbara G. Ryder, Alexander Luchansky	An evaluation of change-based coverage criteria.	PASTE	2011	DBLP DOI BibTeX RDF
1	Markus von Detten	Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution.	PASTE	2011	DBLP DOI BibTeX RDF
1	Yana Momchilova Mileva, Andreas Zeller	Assessing modularity via usage changes.	PASTE	2011	DBLP DOI BibTeX RDF
1	Emily R. Jacobson, Nathan E. Rosenblum, Barton P. Miller	Labeling library functions in stripped binaries.	PASTE	2011	DBLP DOI BibTeX RDF
1	Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu 0001	Extracting compiler provenance from program binaries.	PASTE	2010	DBLP DOI BibTeX RDF	program provenance, static binary analysis, forensics
1	Cindy Rubio-González, Ben Liblit	Expect the unexpected: error code mismatches between documentation and the real world.	PASTE	2010	DBLP DOI BibTeX RDF	interprocedural dataflow analysis, manual pages, weighted pushdown systems, static program analysis
1	Suzanna Schmeelk	Towards a unified fault-detection benchmark.	PASTE	2010	DBLP DOI BibTeX RDF	evaluation, benchmark, software reliability, quality assurance
1	Syed S. Islam, Jens Krinke, David W. Binkley, Mark Harman	Coherent dependence clusters.	PASTE	2010	DBLP DOI BibTeX RDF	clustering, dependence, program comprehension, program slicing
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	Silvian Calman, Jianwen Zhu	Interprocedural induction variable analysis based on interprocedural SSA form IR.	PASTE	2010	DBLP DOI BibTeX RDF	induction variable analysis, interprocedural ssa, ssa
1	Harish Narayanappa, Mukul S. Bansal, Hridesh Rajan	Property-aware program sampling.	PASTE	2010	DBLP DOI BibTeX RDF	property-aware monitoring, slice fragments, static analysis, sampling, profiling, program slicing, instrumentation
1	Kota Mizushima, Atusi Maeda, Yoshinori Yamaguchi	Packrat parsers can handle practical grammars in mostly constant space.	PASTE	2010	DBLP DOI BibTeX RDF	cut operators, packrat parsing, parsing expression grammars, backtracking, memoization, parser generator
1	Jungwoo Ha, Stephen P. Crago	Opportunities for concurrent dynamic analysis with explicit inter-core communication.	PASTE	2010	DBLP DOI BibTeX RDF	inter-core communication, concurrency, dynamic analysis, instrumentation
1	Cormac Flanagan, Stephen N. Freund	The RoadRunner dynamic analysis framework for concurrent programs.	PASTE	2010	DBLP DOI BibTeX RDF	concurrency, dynamic analysis
1	Nathaniel Ayewah, William W. Pugh	Null dereference analysis in practice.	PASTE	2010	DBLP DOI BibTeX RDF	null pointer dereference, static analysis
1	Min Feng 0001, Rajiv Gupta 0001	Learning universal probabilistic models for fault localization.	PASTE	2010	DBLP DOI BibTeX RDF	bayesian network, fault localization, probabilistic inference, dynamic dependence graph
1	Sorin Lerner, Atanas Rountev (eds.)	Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario, Canada, June 5-6, 2010	PASTE	2010	DBLP BibTeX RDF
1	Marwan Abi-Antoun, Jonathan Aldrich	A field study in static extraction of runtime architectures.	PASTE	2008	DBLP DOI BibTeX RDF	architecture recovery, ownership types, runtime architecture
1	Yin Liu, Ana L. Milanova	Static analysis for inference of explicit information flow.	PASTE	2008	DBLP DOI BibTeX RDF	points-to analysis, flow analysis
1	David Lo 0001, Shahar Maoz	Specification mining of symbolic scenario-based models.	PASTE	2008	DBLP DOI BibTeX RDF
1	Macneil Shonle, William G. Griswold, Sorin Lerner	Addressing common crosscutting problems with Arcum.	PASTE	2008	DBLP DOI BibTeX RDF	design patterns, aspect-oriented programming, refactoring
1	Haihao Shen, Sai Zhang 0001, Jianjun Zhao 0001, Jianhong Fang, Shiyuan Yao	XFindBugs: eXtended FindBugs for AspectJ.	PASTE	2008	DBLP DOI BibTeX RDF
1	Shriram Krishnamurthi, Michal Young (eds.)	Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008	PASTE	2008	DBLP BibTeX RDF
1	Sai Zhang 0001, Yu Lin, Zhongxian Gu, Jianjun Zhao 0001	Effective identification of failure-inducing changes: a hybrid approach.	PASTE	2008	DBLP DOI BibTeX RDF
1	Arnab De, Abhik Roychoudhury, Deepak D'Souza	Java memory model aware software validation.	PASTE	2008	DBLP DOI BibTeX RDF
1	Kiran Pamnany, John Jannotti	Elyze: enabling safe parallelism in event-driven servers.	PASTE	2008	DBLP DOI BibTeX RDF	concurrency scheduling, static analysis
1	Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks 0001, Vibha Sazawal	Path projection for user-centered static analysis tools.	PASTE	2008	DBLP DOI BibTeX RDF
1	Mohammad-Amin Jashki, Reza Zafarani, Ebrahim Bagheri	Towards a more efficient static software change impact analysis method.	PASTE	2008	DBLP DOI BibTeX RDF
1	Anna Zaks, Amir Pnueli	Program analysis for compiler validation.	PASTE	2008	DBLP DOI BibTeX RDF
1	Laurent Hubert	A non-null annotation inferencer for Java bytecode.	PASTE	2008	DBLP DOI BibTeX RDF	Java, static analysis, annotation, inference, NonNull
1	Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur	Sharing analysis of arrays, collections, and recursive structures.	PASTE	2008	DBLP DOI BibTeX RDF	shared structures, parallelism, shape analysis
1	Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, YuQian Zhou	Evaluating static analysis defect warnings on production software.	PASTE	2007	DBLP DOI BibTeX RDF	Java, static analysis, software quality, bugs, false positives, software defects, FindBugs, bug patterns
1	Wei Le, Mary Lou Soffa	Refining buffer overflow detection via demand-driven path-sensitive analysis.	PASTE	2007	DBLP DOI BibTeX RDF	path-sensitive, demand-driven, infeasible paths
1	Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein	Enforcing and validating user-defined programming disciplines.	PASTE	2007	DBLP DOI BibTeX RDF	pluggable type systems, programming disciplines, type-and-effect systems, type qualifiers
1	David C. 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	Lori L. Pollock, K. Vijay-Shanker, David C. Shepherd, Emily Hill 0001, Zachary P. Fry, Kishen Maloor	Introducing natural language program analysis.	PASTE	2007	DBLP DOI BibTeX RDF	software tools, program analysis, natural language, aspect mining
1	Manuvir Das, Dan Grossman (eds.)	Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007	PASTE	2007	DBLP BibTeX RDF
1	Weilei Zhang, Barbara G. Ryder	Discovering accurate interclass test dependences.	PASTE	2007	DBLP DOI BibTeX RDF	class integration test, interclass test dependence
1	Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur	Heap analysis in the presence of collection libraries.	PASTE	2007	DBLP DOI BibTeX RDF	collection library, static analysis, shape analysis
1	Haiying Xu, Christopher J. F. Pickett, Clark Verbrugge	Dynamic purity analysis for java programs.	PASTE	2007	DBLP DOI BibTeX RDF	purity, Java, software metrics, dynamic analysis, memoization, side effects, escape analysis
1	Ruben E. Brown	AWE: improving software analysis through modular integration of static and dynamic analyses.	PASTE	2007	DBLP DOI BibTeX RDF	malicious software analysis, static analysis, dynamic analysis
1	Ju Qian, Baowen Xu, Hongbo Min	Interstatement must aliases for data dependence analysis of heap locations.	PASTE	2007	DBLP DOI BibTeX RDF	must alias, data dependence, pointer analysis, heap
1	David Hovemeyer, William W. Pugh	Finding more null pointer bugs, but not too many.	PASTE	2007	DBLP DOI BibTeX RDF	null pointers, Java, static analysis, software quality, bugs, FindBugs, bug patterns
1	Jeffrey S. Foster, Michael W. Hicks, William W. Pugh	Improving software quality with static analysis.	PASTE	2007	DBLP DOI BibTeX RDF	FFIs, Java, software quality, C, modularity, network protocols, data races, bugs, bug patterns
1	Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins	An overview of the saturn project.	PASTE	2007	DBLP DOI BibTeX RDF	verification, program analysis, boolean satisfiability
1	Ondrej Lhoták	Comparing call graphs.	PASTE	2007	DBLP DOI BibTeX RDF	comparison tools, interpreting analysis results, static analysis, dynamic analysis, call graph
1	Ana L. Milanova	Light context-sensitive points-to analysis for java.	PASTE	2007	DBLP DOI BibTeX RDF	context sensitivity, points-to analysis
1	Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel	An empirical framework for comparing effectiveness of testing and property-based formal analysis.	PASTE	2005	DBLP DOI BibTeX RDF	model checking, static analysis, empirical software engineering, mutation testing, bug detection
1	Naveen Kumar 0002, Bruce R. Childers, Mary Lou Soffa	Low overhead program monitoring and profiling.	PASTE	2005	DBLP DOI BibTeX RDF	instrumentation optimization, profiling, dynamic instrumentation, dynamic binary translation
1	Michael D. Ernst, Thomas P. Jensen (eds.)	Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005	PASTE	2005	DBLP BibTeX RDF
1	Hari Hampapuram, Yue Yang, Manuvir Das	Symbolic path simulation in path-sensitive dataflow analysis.	PASTE	2005	DBLP DOI BibTeX RDF	path feasibility, dataflow analysis, symbolic simulation
1	Andrew C. Myers	Making distributed systems secure with program analysis and transformation.	PASTE	2005	DBLP DOI BibTeX RDF
1	Donglin Liang, Maikel Pennings, Mary Jean Harrold	Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs.	PASTE	2005	DBLP DOI BibTeX RDF
1	Manuvir Das	PASTE at Microsoft.	PASTE	2005	DBLP DOI BibTeX RDF
1	David Hovemeyer, Jaime Spacco, William W. Pugh	Evaluating and tuning a static analysis to find null pointer bugs.	PASTE	2005	DBLP DOI BibTeX RDF	testing, static analysis
1	Jeff H. Perkins	Automatically generating refactorings to support API evolution.	PASTE	2005	DBLP DOI BibTeX RDF
1	Michelle Mills Strout, John M. Mellor-Crummey, Paul D. Hovland	Representation-independent program analysis.	PASTE	2005	DBLP DOI BibTeX RDF
1	Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh	String analysis for x86 binaries.	PASTE	2005	DBLP DOI BibTeX RDF
1	Sriraman Tallam, Neelam Gupta	A concept analysis inspired greedy algorithm for test suite minimization.	PASTE	2005	DBLP DOI BibTeX RDF	test cases, concept analysis, testing requirements, test suite minimization
1	Ludo Van Put, Bjorn De Sutter, Matias Madou, Bruno De Bus, Dominique Chanet, Kristof Smits, Koen De Bosschere	LANCET: a nifty code editing tool.	PASTE	2005	DBLP DOI BibTeX RDF	optimization, visualization, instrumentation, assembler, binary code
1	Dick Hamlet	Invariants and state in testing and formal methods.	PASTE	2005	DBLP DOI BibTeX RDF
1	Sarfraz Khurshid, Yuk Lai Suen	Generalizing symbolic execution to library classes.	PASTE	2005	DBLP DOI BibTeX RDF	korat, model checking, symbolic execution, test input generation
1	Christopher J. F. Pickett, Clark Verbrugge	SableSpMT: a software framework for analysing speculative multithreading in Java.	PASTE	2005	DBLP DOI BibTeX RDF	static and dynamic analysis, java, virtual machines, profiling, thread level speculation, speculative multithreading
1	Michael Barnett 0001, K. Rustan M. Leino	Weakest-precondition of unstructured programs.	PASTE	2005	DBLP DOI BibTeX RDF
1	Jean Privat, Roland Ducournau	Link-time static analysis for efficient separate compilation of object-oriented languages.	PASTE	2005	DBLP DOI BibTeX RDF
1	Atanas Rountev, Olga Volgin, Miriam Reddoch	Static control-flow analysis for reverse engineering of UML sequence diagrams.	PASTE	2005	DBLP DOI BibTeX RDF	UML
1	Jonathan E. Cook, Alessandro Orso	MonDe: safe updating through monitored deployment of new component versions.	PASTE	2005	DBLP DOI BibTeX RDF
1	David Saff, Michael D. Ernst	Mock object creation for test factoring.	PASTE	2004	DBLP DOI BibTeX RDF	test factoring, unit testing, mock objects
1	Cormac Flanagan, Andreas Zeller (eds.)	Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'04, Washington, DC, USA, June 7-8, 2004	PASTE	2004	DBLP BibTeX RDF
1	Christian Hammer 0001, Gregor Snelting	An improved slicer for Java.	PASTE	2004	DBLP DOI BibTeX RDF	object trees, static program slicing, Java
1	David J. Pearce 0001, Paul H. J. Kelly, Chris Hankin	Efficient field-sensitive pointer analysis for C.	PASTE	2004	DBLP DOI BibTeX RDF	pointer analysis, set-constraints
1	Patrice Godefroid	Invited Talk: "Model checking" software with VeriSoft.	PASTE	2004	DBLP DOI BibTeX RDF
1	Matthieu Martel	Validation of assembler programs for DSPs: a static analyzer.	PASTE	2004	DBLP DOI BibTeX RDF	numerical accuracy, abstract interpretation, floating-point numbers
1	Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu	Importance of heap specialization in pointer analysis.	PASTE	2004	DBLP DOI BibTeX RDF	heap specialization, pointer analysis, context sensitivity
1	Gary T. Leavens	Invited Talk: JML framed!	PASTE	2004	DBLP DOI BibTeX RDF
1	James R. Ezick	Resolving and applying constraint queries on context-sensitive analyses.	PASTE	2004	DBLP DOI BibTeX RDF	static analysis, context-sensitive analysis
1	Jinlin Yang, David Evans 0001	Dynamically inferring temporal properties.	PASTE	2004	DBLP DOI BibTeX RDF	property patterns, dynamic analysis, concurrent programming, invariants, temporal properties
1	Atanas Rountev, Scott Kagan, Michael Gibas	Evaluating the imprecision of static analysis.	PASTE	2004	DBLP DOI BibTeX RDF	analysis precision, static analysis, dynamic analysis
1	Michael D. Ernst	Invited Talk Static and dynamic analysis: synergy and duality.	PASTE	2004	DBLP DOI BibTeX RDF
1	Manos Renieris, Sébastien Chan-Tin, Steven P. Reiss	Elided conditionals.	PASTE	2004	DBLP DOI BibTeX RDF	dynamic mutation, elision, coverage testing
1	Bruno De Bus, Dominique Chanet, Bjorn De Sutter, Ludo Van Put, Koen De Bosschere	The design and implementation of FIT: a flexible instrumentation toolkit.	PASTE	2004	DBLP DOI BibTeX RDF	performance code abstraction, code compaction
1	Tankut Akgul, Vincent John Mooney	Instruction-level reverse execution for debugging.	PASTE	2002	DBLP DOI BibTeX RDF	reverse code generation, reverse execution, debugging
1	Gleb Naumovich	Using the observer design pattern for implementation of data flow analyses.	PASTE	2002	DBLP DOI BibTeX RDF	algorithm implementation, static analysis, data flow analysis
1	J. Gregory Morrisett	Analysis issues for cyclone.	PASTE	2002	DBLP DOI BibTeX RDF
1	Benjamin Chelf, Dawson R. Engler, Seth Hallem	How to write system-specific, static checkers in metal.	PASTE	2002	DBLP DOI BibTeX RDF
1	Dean F. Sutherland, Aaron Greenhouse, William L. Scherlis	The code of many colors: relating threads to code and shared state.	PASTE	2002	DBLP DOI BibTeX RDF	Java, race conditions, multi-threaded programming, design intent
1	Rhodes Brown, Karel Driesen, David Eng, Laurie J. Hendren, John Jorgensen, Clark Verbrugge, Qin Wang	STEP: a framework for the efficient encoding of general trace data.	PASTE	2002	DBLP DOI BibTeX RDF	program event trace, sequential data encoding, data definition language
1	David Eng	Combining static and dynamic data in code visualization.	PASTE	2002	DBLP DOI BibTeX RDF	combining static and dynamic data, visualization, profiling, software understanding, intermediate languages
1	Matthew B. Dwyer, Jens Palsberg (eds.)	Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'02, Charleston, South Carolina, USA, November 18-19, 2002	PASTE	2002	DBLP BibTeX RDF

Publications at "PASTE"( http://dblp.L3S.de/Venues/PASTE )