|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 74 occurrences of 54 keywords
|
|
|
|
|
Results
Found 65 publication records. Showing 65 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
Fault Localization for Dynamic Web Applications.  |
IEEE Trans. Software Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek |
A data-centric approach to synchronization. |
ACM Trans. Program. Lang. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter |
Refactoring using type constraints. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Frank Tip (eds.) |
Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011 |
ISSTA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Frank Tip |
Finding and Fixing Bugs in Web Applications (Invited Talk). |
TOOLS |
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 | Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip |
Tool-supported refactoring for JavaScript. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip |
Refactoring towards the good parts of javascript. |
OOPSLA Companion |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip |
Refactoring Java programs for flexible locking. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip |
A framework for automated testing of javascript web applications. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst |
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
reliability, verification, Software testing, Web applications, dynamic analysis, PHP |
| 1 | Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
Directed test generation for effective fault localization. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
testing web applications, automated testing, concolic testing |
| 1 | Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip |
Correct Refactoring of Concurrent Java Code. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek |
A Type System for Data-Centric Synchronization. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
Practical fault localization for dynamic web applications. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren |
Safe-commit analysis to facilitate team software development. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wloka, Barbara G. Ryder, Frank Tip |
JUnitMX - A change-aware unit testing tool. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wloka, Manu Sridharan, Frank Tip |
Refactoring for reentrancy. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
reentrant code, program transformation, refactoring |
| 1 | Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst |
Finding bugs in dynamic web applications. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
software testing, web applications, dynamic analysis, php |
| 1 | Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip |
Relationships and associations in object-oriented languages. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
roles, associations, relationships |
| 1 | Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip |
Dynamic detection of atomic-set-serializability violations. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
dynamic analysis, atomicity, serializability, data races, concurrent object-oriented programming |
| 1 | Danny Dig, Ralph E. Johnson, Frank Tip, Oege de Moor, Jan Becicka, William G. Griswold, Markus Keller |
Refactoring Tools. |
ECOOP Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip |
C++ ist typsicher? Garantiert! |
Software Engineering |
2007 |
DBLP BibTeX RDF |
|
| 1 | Frank Tip |
Refactoring Using Type Constraints. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby |
Declarative Object Identity Using Relation Types. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip |
Crisp--A Fault Localization Tool for Java Programs. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer |
Refactoring for Parameterizing Java Classes. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Dolby, Mandana Vaziri, Frank Tip |
Finding bugs efficiently with a SAT solver. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
model checking, specification, slicing, SAT solving |
| 1 | Mark W. Bailey, John Hatcliff, Frank Tip |
PEPM 2006 paper abstracts. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Frank Tip (eds.) |
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006 |
PEPM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mandana Vaziri, Frank Tip, Julian Dolby |
Associating synchronization constraints with data in an object-oriented language. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
programming model, serializability, data races, concurrent object-oriented programming |
| 1 | Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip |
An operational semantics and type safety prooffor multiple inheritance in C++. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
semantics, C++, type safety, multiple inheritance |
| 1 | Maximilian Störzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip |
Finding failure-inducing changes in java programs using change classification. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
testing, debugging, version control, fault localization, change impact analysis |
| 1 | Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller |
Generics-related refactorings in eclipse. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
Java, generics, refactoring, Eclipse, type inference, parameterization, instantiation, type constraints, generic types |
| 1 | Ittai Balaban, Frank Tip, Robert M. Fuhrer |
Refactoring support for class library migration. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller |
Efficiently Refactoring Java Applications to Use Generic Libraries. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip |
Chianti: a change impact analysis tool for java programs. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
analysis of object-oriented programs, regression test, unit test, change impact analysis |
| 1 | Robert M. Fuhrer, Frank Tip, Adam Kiezun |
Advanced refactorings in eclipse. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
parametric types, software engineering, refactoring, type systems |
| 1 | Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley |
Chianti: a tool for change impact analysis of java programs. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
analysis of object-oriented programs, regression test, unit test, change impact analysis |
| 1 | Bjorn De Sutter, Frank Tip, Julian Dolby |
Customization of Java Library Classes Using Type Constraints and Profile Information. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Tip, Peter F. Sweeney, Chris Laffra |
Extracting library-based Java applications. |
Commun. ACM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Tip, Adam Kiezun, Dirk Bäumer |
Refactoring for generalization using type constraints. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
program analysis, refactoring, subtyping, class hierarchy, type constraints |
| 1 | Frank Tip, Peter F. Sweeney, Chris Laffra, Aldo Eisma, David Streeter |
Practical extraction techniques for Java. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Application extraction, class hierarchy transformation, whole-program analysis, Java, packaging, call graph construction |
| 1 | Gregor Snelting, Frank Tip |
Semantics-Based Composition of Class Hierarchies. |
ECOOP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Frank Tip, T. B. Dinesh |
A slicing-based approach for locating type errors. |
ACM Trans. Softw. Eng. Methodol. |
2001 |
DBLP DOI BibTeX RDF |
semantics-based tool generation, abstract interpretation, program slicing, type-checking, static semantics |
| 1 | Barbara G. Ryder, Frank Tip |
Change impact analysis for object-oriented programs. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Tip, Peter F. Sweeney |
Class Hierarchy Specialization. |
Acta Inf. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gregor Snelting, Frank Tip |
Understanding class hierarchies using concept analysis. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
class hierarchy reengineering, concept analysis |
| 1 | Frank Tip, Jens Palsberg |
Scalable propagation-based call graph construction algorithms. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter F. Sweeney, Frank Tip |
Extracting library-based object-oriented applications. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
Java |
| 1 | G. Ramalingam, John Field, Frank Tip |
Aggregate Structure Identification and Its Application to Program Analysis. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Tip, Chris Laffra, Peter F. Sweeney, David Streeter |
Practical Experience with an Application Extractor for Java. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
Java |
| 1 | John Field, Frank Tip |
Dynamic dependence in term rewriting systems and its application to program slicing. |
Information & Software Technology |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter F. Sweeney, Frank Tip |
A Study of Dead Data Members in C++ Applications. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
C++ |
| 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 BibTeX RDF |
|
| 1 | Gregor Snelting, Frank Tip |
Reengineering Class Hierarchies Using Concept Analysis. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Tip, Peter F. Sweeney |
Class Hierarchy Specialization. |
OOPSLA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | T. B. Dinesh, Frank Tip |
A Slicing-Based Approach for Locating Type Errors. |
DSL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam |
Slicing Class Hierarchies in C++. |
OOPSLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Tip |
A survey of program slicing techniques. |
J. Prog. Lang. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Frank Tip |
Generic Techniques for Source-Level Debugging and Dynamic Program Slicing. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, G. Ramalingam, Frank Tip |
Parametric Program Slicing. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
C |
| 1 | John Field, Frank Tip |
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie van Deursen, Paul Klint, Frank Tip |
Origin Tracking. |
J. Symb. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Tip |
Animators for Generated Programming Environments. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #65 of 65 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")