The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase program analysis (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1968-1979 (17) 1981-1988 (20) 1989-1992 (25) 1993 (15) 1994 (28) 1995 (20) 1996 (41) 1997 (34) 1998 (51) 1999 (53) 2000 (57) 2001 (78) 2002 (85) 2003 (70) 2004 (100) 2005 (120) 2006 (140) 2007 (146) 2008 (128) 2009 (97) 2010 (72) 2011 (36) 2012 (40) 2013 (47) 2014 (34) 2015 (51) 2016 (34) 2017 (41) 2018 (35) 2019 (2)
Publication types (Num. hits)
article(296) book(3) incollection(7) inproceedings(1361) phdthesis(29) proceedings(21)
Venues (Conferences, Journals, ...)
PASTE(148) PLDI(55) ACM Trans. Program. Lang. Syst...(52) SOAP@PLDI(45) POPL(40) ICSE(39) SAS(39) IEEE Trans. Software Eng.(30) ISSTA(26) CC(21) CoRR(21) OOPSLA(21) ASE(20) PEPM(19) ESOP(18) OOPSLA Companion(18) More (+10 of total 485)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2382 occurrences of 936 keywords

Results
Found 1717 publication records. Showing 1717 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
130Chris Hankin, Hanne Riis Nielson, Jens Palsberg Position Statements on Strategic Directions for Research on Programming Languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
70Patrick Cousot, Radhia Cousot Systematic Design of Program Analysis Frameworks. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
68Joseph R. Ruthruff Experimental program analysis: a new paradigm for program analysis. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF experimental program analysis, program analysis, experimentation
57Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel Experimental program analysis: a new program analysis paradigm. Search on Bibsonomy ISSTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF experimental program analysis, program analysis, experimentation
57Robert Paige Transformational Programming - Applications to Algorithms and Systems. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
49David Notkin Longitudinal program analysis. Search on Bibsonomy PASTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
46David C. Shepherd, Lori L. Pollock, K. Vijay-Shanker Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program analysis, natural language, aspect mining
43Mary Lou Soffa Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. Search on Bibsonomy SAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Michelle Mills Strout, John M. Mellor-Crummey, Paul D. Hovland Representation-independent program analysis. Search on Bibsonomy PASTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36G. A. Venkatesh, Charles N. Fischer SPARE: A Development Environment For Program Analysis Algorithms. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF program analysis specifications, high-level specification language, SPARE, structured program analysis refinement environment, denotational specification, formal specification, testing, software tools, software tools, programming environments, specification languages, program testing, development environment, correctness proofs
36Chris Hankin Program Analysis Tools. Search on Bibsonomy STTT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Types and effects, Program analysis generator, Program analysis, Abstract interpretation, Data flow analysis
34Uwe Aßmann How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems. Search on Bibsonomy CC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF optimization, specification, program transformation, Program analysis, graph rewrite systems
34Patrice Godefroid Compositional dynamic test generation. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF compositional program analysis, scalability, software testing, program verification, automatic test generation
32Nevin Heintze, Joxan Jaffar, Razvan Voicu A Framework for Combining Analysis and Verification. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF program analysis, abstract interpretation, program verification
31Yamine Aït Ameur A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF nonfunctional property evaluation, numerical type, numerical computational accuracy, reverse engineering, reverse engineering, software maintenance, program transformations, program analysis, software reuse, program comprehension, functional language, data representations, program design, numerical programs
30William C. Benton, Charles N. Fischer Interactive, scalable, declarative program analysis: from prototype to implementation. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF tabled prolog, java, logic programming, prototyping, program analysis, bytecodes
30Lori L. Pollock, K. Vijay-Shanker, David C. Shepherd, Emily Hill, Zachary P. Fry, Kishen Maloor Introducing natural language program analysis. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software tools, program analysis, natural language, aspect mining
30Julio C. Peralta, John P. Gallagher, Hüseyin Saglam Analysis of Imperative Programs through Analysis of Constraint Logic Programs. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Imperative Program Analysis, Operational Semantics, Partial Evaluation, Constraint Logic Programming
29Cheng Wang, Zhiyuan Li Parametric analysis for adaptive computation offloading. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF program profiling, distributed system, program transformation, program analysis, handheld devices, program partitioning, adaptive optimization, computation offloading
29William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta Program analysis via satisfiability modulo path programs. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers
29Takashi Ishio, Shinji Kusumoto, Katsuro Inoue Program Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique. Search on Bibsonomy IWPSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Michel Ferreira, Luís Damas Multiple Specialization of WAM Code. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Prolog Compilation, Code Specialization, Program Analysis
29María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva Using Datalog and Boolean Equation Systems for Program Analysis. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF boolean equation system, demand-driven evaluation, program analysis, Datalog
29James Hayes, William G. Griswold, Stuart Moskovics Component design of retargetable program analysis tools that reuse intermediate representations. Search on Bibsonomy ICSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF software tools, reuse, program analysis, software design, retargetability
28G. A. Venkatesh Experimental Results from Dynamic Slicing of C Program. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF program analysis, program slice
28Wanghong Yuan, X. Chen, Tao Xie 0001, Hong Mei, Fuqing Yang C++ Program Information Database for Analysis Tools. Search on Bibsonomy TOOLS (27) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF program information database, object orientation, C++, program analysis, incremental parsing
27Ciera Jaspan, I-Chin Chen, Anoop Sharma Understanding the value of program analysis tools. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF value-based software, program analysis, economics
27Michael Hind, Anthony Pioli Traveling Through Dakota: Experiences with an Object-Oriented Program Analysis System. Search on Bibsonomy TOOLS (34) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Program Analysis, Pointer Analysis, Multiple Inheritance
27Atanas Rountev, Barbara G. Ryder, William Landi Data-Flow Analysis of Program Fragments. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel Context-sensitive program analysis as database queries. Search on Bibsonomy PODS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Satish Chandra Gupta, Tien Nhut Nguyen, Ethan V. Munson The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and Hypermedia. Search on Bibsonomy APSEC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Daniel J. Quinlan, Gergö Barany, Thomas Panas Towards Distributed Memory Parallel Program Analysis. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
27Florian Martin 0001, Hanne Riis Nielson, Claudio Riva, Markus Schordan 08161 Abstracts Collection - Scalable Program Analysis. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
27Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm 06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis. Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
27Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm 06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis. Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
27Thomas Ball, Stephan Diehl 0001, David Notkin, Andreas Zeller 05261 Abstracts Collection - Multi-Version Program Analysis. Search on Bibsonomy Multi-Version Program Analysis The full citation details ... 2005 DBLP  BibTeX  RDF
27Thomas Ball, Stephan Diehl 0001, David Notkin, Andreas Zeller 05261 Summary - Multi-Version Program Analysis. Search on Bibsonomy Multi-Version Program Analysis The full citation details ... 2005 DBLP  BibTeX  RDF
27J. Nations, Stanley Y. W. Su Some DML Instruction Sequences for Application Program Analysis and Conversion. Search on Bibsonomy SIGMOD Conference The full citation details ... 1978 DBLP  DOI  BibTeX  RDF application program conversion, database conversion, program analysis and synthesis, database management, data manipulation language, schema change
27Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins An overview of the saturn project. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF verification, program analysis, boolean satisfiability
26Divya Arora, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Amitabh Srivastava, Alan Eustace ATOM: a system for building customized program analysis tools (with retrospective) Search on Bibsonomy Best of PLDI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
26Amitabh Srivastava, Alan Eustace ATOM - A System for Building Customized Program Analysis Tools. Search on Bibsonomy PLDI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
26Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Akira Fukuda The Modulo Interval: A Simple and Practical Representation for Program Analysis. Search on Bibsonomy IEEE PACT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF modulo, program analysis, dependence analysis, arithmetic, interval
25Diptikalyan Saha, C. R. Ramakrishnan Incremental and demand-driven points-to analysis using logic programming. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF demand-drive analysis, logic programming, pointer analysis, incremental analysis
25Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv Abstract Counterexample-Based Refinement for Powerset Domains. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Thomas W. Reps, Mooly Sagiv, Jörg Bauer 0001 An Appreciation of the Work of Reinhard Wilhelm. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Glenn Bruns, Satish Chandra 0001 Searching for Points-To Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, program analysis, reachability analysis, Points-to analysis
25Coen De Roover, Theo D'Hondt, Johan Brichau, Carlos Noguera, Laurence Duchien Behavioral similarity matching using concrete source code templates in logic queries. Search on Bibsonomy PEPM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF logic meta programming, program querying, source code templates, program analysis, pattern detection, program validation
25Matthew B. Dwyer, Alex Kinneer, Sebastian G. Elbaum Adaptive Online Program Analysis. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Christian Mossin Higher-Order Value Flow Graphs. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF polyvariance, efficiency, program analysis, type system, polymorphism, recursive types
24Divya Arora, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha Hardware-Assisted Run-Time Monitoring for Secure Program Execution on Embedded Processors. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Hanne Riis Nielson, Torben Amtoft, Flemming Nielson Behaviour Analysis and Safety Conditions: A Case Study in CML. Search on Bibsonomy FASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF formal program development, Embedded systems, program analysis
23Barton P. Miller, Morgan Clark, Jeffrey K. Hollingsworth, Steven Kierstead, Sek-See Lim, Timothy Torzewski IPS-2: The Second Generation of a Parallel Program Measurement System. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF IPS-2, parallel program measurement system, performance measurement system, performance analysis techniques, program bottlenecks, interactive program analysis, automatic guidance techniques, Charlotte distributed operating system, 4.3BSD UNIX systems, DECstation, Sun 4, Sequent Symmetry multiprocessor, performance evaluation, parallel programs, parallel programming, semantics, graphical user interface, software tools, Unix, shared-memory systems, distributed programs, network operating systems, program diagnostics, VAX, design concepts, message systems, CPA
23Vasilios Almaliotis, Alexandros Loizidis, Panagiotis Katsaros, Panagiotis Louridas, Diomidis Spinellis Static Program Analysis for Java Card Applets. Search on Bibsonomy CARDIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF temporal safety, Java Card, static program analysis
23Michael Codish, Bart Demoen, Konstantinos Sagonas Semantics-Based Program Analysis for Logic-Based Languages Using XSB. Search on Bibsonomy STTT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Semantics-based program analysis, Logic programming language analysis, XSB
23Sridhar Iyer, S. Ramesh 0001 Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF object-oriented programming, static analysis, Concurrent programs, reachability analysis
23David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider Certified Memory Usage Analysis. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF certified memory analysis, Program analysis, theorem proving, constraint solving
23Reinhard Wilhelm, Tomasz Müldner, Raimund Seidel Algorithm Explanation: Visualizing Abstract States and Invariants. Search on Bibsonomy Software Visualization The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Sandya Mannarswamy, Shruti Doval, Hariharan Sandanagobalane, Mahesha Nanjundaiah TRICK: tracking and reusing compiler's knowledge. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF optimization, compiler, reuse, program analysis, tools
23Kleanthis Psarris, Konstantinos Kyriakopoulos An Experimental Evaluation of Data Dependence Analysis Techniques. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization
23Kleanthis Psarris, Konstantinos Kyriakopoulos The impact of data dependence analysis on compilation and program parallelization. Search on Bibsonomy ICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF program analysis, compiler optimization, parallelizing compilers, data dependence, automatic parallelization
23David M. Ogle, Karsten Schwan, Richard T. Snodgrass Application-Dependent Dynamic Monitoring of Distributed and Parallel Systems. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF application dependent dynamic monitoring, off-line program analysis, on-line debugging, uniform data model, program-specific monitoring code, distributed analysis, programtesting, distributed systems, parallel programming, specification, distributed processing, distributed programs, parallel systems, program debugging, attributes, parallelmachines
22David C. Shepherd, Zachary P. Fry, Emily Hill, Lori L. Pollock, K. Vijay-Shanker Using natural language program analysis to locate and understand action-oriented concerns. Search on Bibsonomy AOSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reverse engineering, program analysis, feature location, remodularization
22Bernd Fischer 0002, Ando Saabas, Tarmo Uustalu Program Repair as Sound Optimization of Broken Programs. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Patrick Cousot Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22Cindy Rubio-González, Ben Liblit Expect the unexpected: error code mismatches between documentation and the real world. Search on Bibsonomy PASTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF interprocedural dataflow analysis, manual pages, weighted pushdown systems, static program analysis
22Thomas W. Reps Static Program Analysis via 3-Valued Logic. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Brian R. Murphy, Monica S. Lam Program Analysis with Partial Transfer Functions. Search on Bibsonomy PEPM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22G. A. Venkatesh A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis Techniques. Search on Bibsonomy PLDI The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
22Mila Dalla Preda, Roberto Giacobazzi Control Code Obfuscation by Abstract Interpretation. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Semantics, Program Transformation, Program analysis, Abstract Interpretation, Code Obfuscation
21Dongseok Jang, Kwang-Moo Choe Points-to analysis for JavaScript. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF program analysis, JavaScript, scripting language, pointer analysis, points-to analysis
21James Ezick Resolving and applying constraint queries on context-sensitive analyses. Search on Bibsonomy PASTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF static analysis, context-sensitive analysis
21Frédéric Vivien, Martin C. Rinard Incrementalized Pointer and Escape Analysis. Search on Bibsonomy PLDI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Marco Pistoia, Úlfar Erlingsson Programming languages and program analysis for security: a three-year retrospective. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security, program analysis, programming languages, language-based security
21Dennis Strein, Rüdiger Lincke, Jonas Lundberg, Welf Löwe An Extensible Metamodel for Program Analysis (abstract only). Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program analysis, Programming environments, metamodels
21Chi-Keung Luk, Robert S. Cohn, Robert Muth, Harish Patil, Artur Klauser, P. Geoffrey Lowney, Steven Wallace, Vijay Janapa Reddi, Kim M. Hazelwood Pin: building customized program analysis tools with dynamic instrumentation. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF program analysis tools, instrumentation, dynamic compilation
21Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano Iterative-free program analysis. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF SP term, dynamic programming, program analysis, register allocation, control flow graph, tree width, catamorphism
21Li-Ling Chen, Williams Ludwell Harrison III An efficient approach to computing fixpoints for complex program analysis. Search on Bibsonomy International Conference on Supercomputing The full citation details ... 1994 DBLP  DOI  BibTeX  RDF fixpoint computation, program analysis, abstract interpretation, optimizing compilers
21Songwen Xu, Yam San Chee Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Automatic program diagnosis, programming tutoring systems, program comparison, program matching, program transformation, program representation
21Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo Determinacy Analysis for Logic Programs Using Mode and Type Information. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Determinacy Inference, Program Analysis, Types, Modes
21Hanne Riis Nielson, Flemming Nielson Flow Logics for Constraint Based Analysis. Search on Bibsonomy CC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Program analysis, data flow analysis, attribute grammars, control flow analysis, constraint based analysis
21Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali Compositional may-must program analysis: unleashing the power of alternation. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF software model checking, abstraction refinement, directed testing
20Jonas Maebe, Dries Buytaert, Lieven Eeckhout, Koen De Bosschere Javana: a system for building customized Java program analysis tools. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF aspect-oriented instrumentation, customized program analysis tool, Java
20Dries Buytaert, Jonas Maebe, Lieven Eeckhout, Koen De Bosschere Building Java program analysis tools using Javana. Search on Bibsonomy OOPSLA Companion The full citation details ... 2006 DBLP  DOI  BibTeX  RDF aspect-oriented instrumentation, customized program analysis tool, Java
20Yoshio Kataoka, Masayuki Hirayama, Jiro Okayasu, Tetsuji Fukaya An Approach to Reverse Quality Assurance with Data-Oriented Program Analysis. Search on Bibsonomy APSEC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Data-Oriented Program Analysis, Data Relation, Test, Reverse Engineering, Quality Assurance
20Mohamed Tadjouddine, F. Eyssette, C. Faure Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
20Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan Semantics-aware trace analysis. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF semantic tracing, trace views, tracing, testing tools, automated debugging, debugging aids
20Florian Martin 0001, Hanne Riis Nielson, Claudio Riva, Markus Schordan (eds.) Scalable Program Analysis, 13.04. - 18.04.2008 Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
20Markus Schordan Source-To-Source Analysis with SATIrE - an Example Revisited. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
20Gergö Barany Value Flow Graph Analysis with SATIrE. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
20Johann Blieberger Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
20Lars Gesellensetter Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
20Dave W. Binkley Dependence Cluster Causes. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
20Cristina Cifuentes, Bernhard Scholz Parfait - Designing a Scalable Bug Checker. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
20Jens Knoop Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
20Thomas W. Reps, Mooly Sagiv, Jörg Bauer 0001 (eds.) Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Thomas Ball, Stephan Diehl 0001, David Notkin, Andreas Zeller (eds.) Multi-Version Program Analysis, 26. June - 1. July 2005 Search on Bibsonomy Multi-Version Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
20Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm (eds.) Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006 Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
20Werner Damm, Tobe Toben, Bernd Westphal On the Expressive Power of Live Sequence Charts. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Helmut Seidl, Kumar Neeraj Verma Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1717 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license