|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 207 occurrences of 131 keywords
|
|
|
Results
Found 148 publication records. Showing 148 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | David Notkin |
Longitudinal program analysis. |
PASTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | James F. Bowring, Alessandro Orso, Mary Jean Harrold |
Monitoring deployed software using software tomography. |
PASTE |
2002 |
DBLP DOI BibTeX RDF |
gamma technology, software tomography, tomographic refinement, software engineering, code coverage |
1 | Taweesup Apiwattanapong, Mary Jean Harrold |
Selective path profiling. |
PASTE |
2002 |
DBLP DOI BibTeX RDF |
static analysis, dynamic analysis, path profiling |
1 | Mustafa M. Tikir, Jeffrey K. Hollingsworth, Guei-Yuan Lueh |
Recompilation for debugging support in a JIT-compiler. |
PASTE |
2002 |
DBLP DOI BibTeX RDF |
Java virtual machine debugger interface, debug information, dynamic recompilation, field access watch, Java, just-in-time compilation |
1 | John Howard Eli Fiskio-Lasseter, Michal Young |
Flow equations as a generic programming tool for manipulation of attributed graphs. |
PASTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hind |
Pointer analysis: haven't we solved this problem yet? |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ismail Kadayif, T. Chinoda, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam |
vEC: virtual energy counters. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
system energy consumption, optimizations, embedded systems, signal processing, hardware performance counters |
1 | Thomas Ball, Sriram K. Rajamani |
Bebop: a path-sensitive interprocedural dataflow engine. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Donglin Liang, Maikel Pennings, Mary Jean Harrold |
Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
Java |
1 | Gagan Agrawal, Liang Guo |
Evaluating explicitly context-sensitive program slicing. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gerard J. Holzmann |
Economics of software verification. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
model checking, testing, software verification, spin |
1 | William G. Griswold |
Making slicing practical: the final mile (Abstract). |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
program slicing |
1 | Claus Brabrand, Anders Møller, Michael I. Schwartzbach |
Static validation of dynamically generated HTML. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
HTML |
1 | John Field, Gregor Snelting (eds.) |
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'01, Snowbird, Utah, USA, June 18-19, 2001 |
PASTE |
2001 |
DBLP BibTeX RDF |
|
1 | Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers |
Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
calpa, dynamic analysis, program understanding, program optimization, points-to analysis, alias analysis, program instrumentation |
1 | Steven P. Reiss |
An overview of BLOOM. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jan-Willem Maessen, Vivek Sarkar, David Grove |
Program analysis for safety guarantees in a Java virtual machine written in Java. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
Java |
1 | Amie L. Souter, Lori L. Pollock |
Contextual def-use associations for object aggregation. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Corinne Ancourt, Thi Viet Nga Nguyen |
Array resizing for scientific code debugging, maintenance and reuse. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
array declaration, array region, array resizing, reverse-engineering, debug, reuse, FORTRAN, program analysis, program comprehension |
1 | Adam Brooks Webber |
What is a class invariant? |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
Java |
1 | Cormac Flanagan, Stephen N. Freund |
Detecting race conditions in large programs. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
Java |
1 | Barbara G. Ryder, Frank Tip |
Change impact analysis for object-oriented programs. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jens Palsberg |
Type-based analysis and applications. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hira Agrawal |
Efficient Coverage Testing Using Global Dominator Graphs. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Satish Chandra 0001, Thomas W. Reps |
Physical Type Checking for C. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
C |
1 | Gabriella Kókai, Jörg Nilson, Christian Niss |
GIDTS: A Graphical Programming Environment for Prolog. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
Prolog |
1 | Nicky Williams Preston |
New Type Signatures for Legacy Fortran Subroutines. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
array region, dynamic alias, reverse engineering, Fortran, FORTRAN, alias analysis |
1 | Liz Whiting, Mike Hill |
Safety Analysis of Hawk in Flight Monitor. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh |
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Donglin Liang, Mary Jean Harrold |
Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
data-flow analysis, alias analysis |
1 | Christoph Steindl |
Benefits of a Data Flow-Aware Programming Environment. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Amie L. Souter, Lori L. Pollock, Dixie Hisley |
Inter-Class Def-Use Analysis with Partial Class Representations. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar |
Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
Java |
1 | Francoise Balmas |
Query by Outlines: A New Paradigm to Help Manage Programs. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
|
1 | William G. Griswold, Susan Horwitz (eds.) |
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '99, Toulouse, France, September 6, 1999 |
PASTE |
1999 |
DBLP BibTeX RDF |
|
1 | John Field, G. Ramalingam |
Identifying Procedural Structure in Cobol Programs. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
COBOL |
1 | Thomas Ball, Frank Tip, A. Michael Berman (eds.) |
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '98, Montreal, Canada, June 16, 1998 |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Steven P. Reiss |
Software Visualization in the Desert Environment. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Caroline Tice, Susan L. Graham |
OPTVIEW: A New Approach for Examining Optimized Code. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil |
Efficient Composite Data Flow Analysis Applied to Concurrent Programs. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jens Krinke |
Static Slicing of Threaded Programs. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Nurit Dor, Michael Rodeh, Shmuel Sagiv |
Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience). |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Clinton L. Jeffery, Wenyi Zhou, Kevin Templer, Michael Brazell |
A Lightweight Architecture for Program Execution Monitoring. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Melissa P. Chase, Steven M. Christey, David R. Harris 0001, Alexander S. Yeh |
Recovering Software Architecture from Multiple Source Code Analyses. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Oscar Waddell, J. Michael Ashley |
Visualizing the Performance of Higher-Order Programs. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Snelting |
Concept Analysis - A New Framework for Program Understanding. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Sean Zhang, Barbara G. Ryder, William Landi |
Experiments with Combined Analysis for Pointer Aliasing. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mary Jean Harrold, Gregg Rothermel, Rui Wu, Liu Yi |
An Empirical Investigation of Program Spectra. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #148 of 148 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|