@article{TipFKEBS11,
  title = {Refactoring using type constraints},
  author = {Frank Tip and Robert M. Fuhrer and Adam Kiezun and Michael D. Ernst and Ittai Balaban and Bjorn De Sutter},
  year = {2011},
  doi = {10.1145/1961204.1961205},
  url = {http://doi.acm.org/10.1145/1961204.1961205},
  tags = {refactoring, constraints},
  researchr = {https://researchr.org/publication/TipFKEBS11},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {33},
  number = {3},
  pages = {9},
}

@inproceedings{SchaferSDT11,
  title = {Refactoring Java programs for flexible locking},
  author = {Max Schäfer and Manu Sridharan and Julian Dolby and Frank Tip},
  year = {2011},
  doi = {10.1145/1985793.1985804},
  url = {http://doi.acm.org/10.1145/1985793.1985804},
  tags = {Java, refactoring},
  researchr = {https://researchr.org/publication/SchaferSDT11},
  cites = {0},
  citedby = {0},
  pages = {71-80},
  booktitle = {ICSE},
}

@inproceedings{FieldRT95,
  title = {Parametric Program Slicing},
  author = {John Field and Ganesan Ramalingam and Frank Tip},
  year = {1995},
  tags = {slicing},
  researchr = {https://researchr.org/publication/FieldRT95},
  cites = {1},
  citedby = {0},
  pages = {379-392},
  booktitle = {POPL},
}

@inproceedings{ChesleyRRT07,
  title = {Crisp--A Fault Localization Tool for Java Programs},
  author = {Ophelia C. Chesley and Xiaoxia Ren and Barbara G. Ryder and Frank Tip},
  year = {2007},
  doi = {10.1109/ICSE.2007.29},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.29},
  tags = {Java, C++},
  researchr = {https://researchr.org/publication/ChesleyRRT07},
  cites = {0},
  citedby = {0},
  pages = {775-779},
  booktitle = {ICSE},
}

@inproceedings{ArtziDTP10-0,
  title = {Practical fault localization for dynamic web applications},
  author = {Shay Artzi and Julian Dolby and Frank Tip and Marco Pistoia},
  year = {2010},
  doi = {10.1145/1806799.1806840},
  url = {http://doi.acm.org/10.1145/1806799.1806840},
  tags = {web applications},
  researchr = {https://researchr.org/publication/ArtziDTP10-0},
  cites = {0},
  citedby = {0},
  pages = {265-274},
  booktitle = {ICSE},
}

@inproceedings{VaziriTD06,
  title = {Associating synchronization constraints with data in an object-oriented language},
  author = {Mandana Vaziri and Frank Tip and Julian Dolby},
  year = {2006},
  doi = {10.1145/1111037.1111067},
  url = {http://doi.acm.org/10.1145/1111037.1111067},
  tags = {synchronization, data-flow language, constraints, data-flow, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/VaziriTD06},
  cites = {0},
  citedby = {0},
  pages = {334-345},
  booktitle = {POPL},
}

@article{BaileyHT06,
  title = {PEPM 2006 paper abstracts},
  author = {Mark W. Bailey and John Hatcliff and Frank Tip},
  year = {2006},
  doi = {10.1145/1140543.1140545},
  url = {http://doi.acm.org/10.1145/1140543.1140545},
  researchr = {https://researchr.org/publication/BaileyHT06},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {41},
  number = {3},
  pages = {4-8},
}

@inproceedings{DolbyVT07,
  title = {Finding bugs efficiently with a SAT solver},
  author = {Julian Dolby and Mandana Vaziri and Frank Tip},
  year = {2007},
  doi = {10.1145/1287624.1287653},
  url = {http://doi.acm.org/10.1145/1287624.1287653},
  researchr = {https://researchr.org/publication/DolbyVT07},
  cites = {0},
  citedby = {0},
  pages = {195-204},
  booktitle = {ESEC/FSE},
}

@article{TipSLES02,
  title = {Practical extraction techniques for Java},
  author = {Frank Tip and Peter F. Sweeney and Chris Laffra and Aldo Eisma and David Streeter},
  year = {2002},
  doi = {10.1145/586088.586090},
  url = {http://doi.acm.org/10.1145/586088.586090},
  tags = {Java},
  researchr = {https://researchr.org/publication/TipSLES02},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {24},
  number = {6},
  pages = {625-666},
}

@inproceedings{WasserrabNST06,
  title = {An operational semantics and type safety prooffor multiple inheritance in C++},
  author = {Daniel Wasserrab and Tobias Nipkow and Gregor Snelting and Frank Tip},
  year = {2006},
  doi = {10.1145/1167473.1167503},
  url = {http://doi.acm.org/10.1145/1167473.1167503},
  tags = {semantics, C++, operational semantics},
  researchr = {https://researchr.org/publication/WasserrabNST06},
  cites = {0},
  citedby = {0},
  pages = {345-362},
  booktitle = {OOPSLA},
}

@inproceedings{Tip11,
  title = {Finding and Fixing Bugs in Web Applications (Invited Talk)},
  author = {Frank Tip},
  year = {2011},
  doi = {10.1007/978-3-642-21952-8_2},
  url = {http://dx.doi.org/10.1007/978-3-642-21952-8_2},
  tags = {web applications},
  researchr = {https://researchr.org/publication/Tip11},
  cites = {0},
  citedby = {0},
  pages = {2},
  booktitle = {TOOLS},
}

@inproceedings{WlokaST09,
  title = {Refactoring for reentrancy},
  author = {Jan Wloka and Manu Sridharan and Frank Tip},
  year = {2009},
  doi = {10.1145/1595696.1595723},
  url = {http://doi.acm.org/10.1145/1595696.1595723},
  tags = {refactoring},
  researchr = {https://researchr.org/publication/WlokaST09},
  cites = {0},
  citedby = {0},
  pages = {173-182},
  booktitle = {FSE},
}

@inproceedings{ArtziDJMT11,
  title = {A framework for automated testing of javascript web applications},
  author = {Shay Artzi and Julian Dolby and Simon Holm Jensen and Anders Møller and Frank Tip},
  year = {2011},
  doi = {10.1145/1985793.1985871},
  url = {http://doi.acm.org/10.1145/1985793.1985871},
  tags = {JavaScript, application framework, testing, web applications},
  researchr = {https://researchr.org/publication/ArtziDJMT11},
  cites = {0},
  citedby = {0},
  pages = {571-580},
  booktitle = {ICSE},
}

@inproceedings{HammerDVT08,
  title = {Dynamic detection of atomic-set-serializability violations},
  author = {Christian Hammer and Julian Dolby and Mandana Vaziri and Frank Tip},
  year = {2008},
  doi = {10.1145/1368088.1368120},
  url = {http://doi.acm.org/10.1145/1368088.1368120},
  researchr = {https://researchr.org/publication/HammerDVT08},
  cites = {0},
  citedby = {0},
  pages = {231-240},
  booktitle = {ICSE},
}

@inproceedings{NelsonBBMNPST08,
  title = {Relationships and associations in object-oriented languages},
  author = {Stephen Nelson and Stephanie Balzer and Gavin M. Bierman and Erik Meijer and James Noble and David J. Pearce and Jiri Soukup and Frank Tip},
  year = {2008},
  doi = {10.1145/1449814.1449883},
  url = {http://doi.acm.org/10.1145/1449814.1449883},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/NelsonBBMNPST08},
  cites = {0},
  citedby = {0},
  pages = {855-856},
  booktitle = {OOPSLA},
}

@inproceedings{ArtziKDTDPE08,
  title = {Finding bugs in dynamic web applications},
  author = {Shay Artzi and Adam Kiezun and Julian Dolby and Frank Tip and Danny Dig and Amit M. Paradkar and Michael D. Ernst},
  year = {2008},
  doi = {10.1145/1390630.1390662},
  url = {http://doi.acm.org/10.1145/1390630.1390662},
  tags = {web applications},
  researchr = {https://researchr.org/publication/ArtziKDTDPE08},
  cites = {0},
  citedby = {0},
  pages = {261-272},
  booktitle = {ISSTA},
}

@article{TipD01,
  title = {A slicing-based approach for locating type errors},
  author = {Frank Tip and T. B. Dinesh},
  year = {2001},
  doi = {10.1145/366378.366379},
  url = {http://doi.acm.org/10.1145/366378.366379},
  tags = {rule-based, slicing, systematic-approach},
  researchr = {https://researchr.org/publication/TipD01},
  cites = {0},
  citedby = {0},
  journal = {TOSEM},
  volume = {10},
  number = {1},
  pages = {5-55},
}

@inproceedings{SneltingT02,
  title = {Semantics-Based Composition of Class Hierarchies},
  author = {Gregor Snelting and Frank Tip},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2374/23740562.htm},
  tags = {semantics, rule-based, composition},
  researchr = {https://researchr.org/publication/SneltingT02},
  cites = {0},
  citedby = {0},
  pages = {562-584},
  booktitle = {ECOOP},
}

@inproceedings{TipKB03,
  title = {Refactoring for generalization using type constraints},
  author = {Frank Tip and Adam Kiezun and Dirk Bäumer},
  year = {2003},
  doi = {10.1145/949305.949308},
  url = {http://doi.acm.org/10.1145/949305.949308},
  tags = {refactoring, constraints},
  researchr = {https://researchr.org/publication/TipKB03},
  cites = {0},
  citedby = {0},
  pages = {13-26},
  booktitle = {OOPSLA},
}

@inproceedings{BalabanTF05,
  title = {Refactoring support for class library migration},
  author = {Ittai Balaban and Frank Tip and Robert M. Fuhrer},
  year = {2005},
  doi = {10.1145/1094811.1094832},
  url = {http://doi.acm.org/10.1145/1094811.1094832},
  tags = {refactoring, migration},
  researchr = {https://researchr.org/publication/BalabanTF05},
  cites = {0},
  citedby = {0},
  pages = {265-279},
  booktitle = {OOPSLA},
}

@inproceedings{WlokaRT09,
  title = {JUnitMX - A change-aware unit testing tool},
  author = {Jan Wloka and Barbara G. Ryder and Frank Tip},
  year = {2009},
  doi = {10.1109/ICSE.2009.5070557},
  url = {http://dx.doi.org/10.1109/ICSE.2009.5070557},
  tags = {testing, context-aware},
  researchr = {https://researchr.org/publication/WlokaRT09},
  cites = {0},
  citedby = {0},
  pages = {567-570},
  booktitle = {ICSE},
}

@inproceedings{FuhrerTK04,
  title = {Advanced refactorings in eclipse},
  author = {Robert M. Fuhrer and Frank Tip and Adam Kiezun},
  year = {2004},
  doi = {10.1145/1028664.1028669},
  url = {http://doi.acm.org/10.1145/1028664.1028669},
  tags = {Eclipse, refactoring},
  researchr = {https://researchr.org/publication/FuhrerTK04},
  cites = {0},
  citedby = {0},
  pages = {8},
  booktitle = {OOPSLA},
}

@inproceedings{TipP00,
  title = {Scalable propagation-based call graph construction algorithms},
  author = {Frank Tip and Jens Palsberg},
  year = {2000},
  doi = {10.1145/353171.353190},
  url = {http://doi.acm.org/10.1145/353171.353190},
  tags = {rule-based, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/TipP00},
  cites = {0},
  citedby = {0},
  pages = {281-293},
  booktitle = {OOPSLA},
}

@inproceedings{WasserrabNST07,
  title = {C++ ist typsicher? Garantiert!},
  author = {Daniel Wasserrab and Tobias Nipkow and Gregor Snelting and Frank Tip},
  year = {2007},
  tags = {C++},
  researchr = {https://researchr.org/publication/WasserrabNST07},
  cites = {0},
  citedby = {0},
  pages = {29-34},
  booktitle = {se},
}

@inproceedings{SutterTD04,
  title = {Customization of Java Library Classes Using Type Constraints and Profile Information},
  author = {Bjorn De Sutter and Frank Tip and Julian Dolby},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3086&spage=585},
  tags = {Java, constraints},
  researchr = {https://researchr.org/publication/SutterTD04},
  cites = {0},
  citedby = {0},
  pages = {585-610},
  booktitle = {ECOOP},
}

@inproceedings{ArtziDTP10,
  title = {Directed test generation for effective fault localization},
  author = {Shay Artzi and Julian Dolby and Frank Tip and Marco Pistoia},
  year = {2010},
  doi = {10.1145/1831708.1831715},
  url = {http://doi.acm.org/10.1145/1831708.1831715},
  tags = {testing},
  researchr = {https://researchr.org/publication/ArtziDTP10},
  cites = {0},
  citedby = {0},
  pages = {49-60},
  booktitle = {ISSTA},
}

@article{ArtziKDTDPE10,
  title = {Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking},
  author = {Shay Artzi and Adam Kiezun and Julian Dolby and Frank Tip and Danny Dig and Amit M. Paradkar and Michael D. Ernst},
  year = {2010},
  doi = {10.1109/TSE.2010.31},
  url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2010.31},
  tags = {model checking, meta-model, testing, web applications, Meta-Environment},
  researchr = {https://researchr.org/publication/ArtziKDTDPE10},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {36},
  number = {4},
  pages = {474-494},
}

@inproceedings{SweeneyT98,
  title = {A Study of Dead Data Members in C++ Applications},
  author = {Peter F. Sweeney and Frank Tip},
  year = {1998},
  tags = {data-flow, C++},
  researchr = {https://researchr.org/publication/SweeneyT98},
  cites = {0},
  citedby = {0},
  pages = {324-332},
  booktitle = {PLDI},
}

@inproceedings{KiezunFTK05,
  title = {Generics-related refactorings in eclipse},
  author = {Adam Kiezun and Robert M. Fuhrer and Frank Tip and Markus Keller},
  year = {2005},
  doi = {10.1145/1094855.1094918},
  url = {http://doi.acm.org/10.1145/1094855.1094918},
  tags = {Eclipse, refactoring},
  researchr = {https://researchr.org/publication/KiezunFTK05},
  cites = {0},
  citedby = {0},
  pages = {170},
  booktitle = {OOPSLA},
}

@article{TipS00,
  title = {Class Hierarchy Specialization},
  author = {Frank Tip and Peter F. Sweeney},
  year = {2000},
  url = {http://link.springer.de/link/service/journals/00236/bibs/0036012/00360927.htm},
  researchr = {https://researchr.org/publication/TipS00},
  cites = {0},
  citedby = {0},
  journal = {ACTA},
  volume = {36},
  number = {12},
  pages = {927-982},
}

@inproceedings{SweeneyT00,
  title = {Extracting library-based object-oriented applications},
  author = {Peter F. Sweeney and Frank Tip},
  year = {2000},
  url = {http://portal.acm.org/citation.cfm?id=355045.355059},
  tags = {rule-based, meta-model, slicing, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/SweeneyT00},
  cites = {0},
  citedby = {0},
  pages = {98-107},
  booktitle = {ESEC/FSE},
}

@article{TipSL03,
  title = {Extracting library-based Java applications},
  author = {Frank Tip and Peter F. Sweeney and Chris Laffra},
  year = {2003},
  doi = {10.1145/859670.859695},
  url = {http://doi.acm.org/10.1145/859670.859695},
  tags = {rule-based, Java},
  researchr = {https://researchr.org/publication/TipSL03},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {46},
  number = {8},
  pages = {35-40},
}

@inproceedings{TipCFR96,
  title = {Slicing Class Hierarchies in C++},
  author = {Frank Tip and Jong-Deok Choi and John Field and Ganesan Ramalingam},
  year = {1996},
  tags = {slicing, C++},
  researchr = {https://researchr.org/publication/TipCFR96},
  cites = {0},
  citedby = {0},
  pages = {179-197},
  booktitle = {OOPSLA},
}

@inproceedings{StorzerRRT06,
  title = {Finding failure-inducing changes in java programs using change classification},
  author = {Maximilian Störzer and Barbara G. Ryder and Xiaoxia Ren and Frank Tip},
  year = {2006},
  doi = {10.1145/1181775.1181783},
  url = {http://doi.acm.org/10.1145/1181775.1181783},
  tags = {Java, classification},
  researchr = {https://researchr.org/publication/StorzerRRT06},
  cites = {0},
  citedby = {0},
  pages = {57-68},
  booktitle = {ESEC/FSE},
}

@article{FieldT98,
  title = {Dynamic dependence in term rewriting systems and its application to program slicing},
  author = {John Field and Frank Tip},
  year = {1998},
  doi = {10.1016/S0950-5849(98)00087-1},
  url = {http://dx.doi.org/10.1016/S0950-5849(98)00087-1},
  tags = {term rewriting, graph-rewriting, slicing, rewriting},
  researchr = {https://researchr.org/publication/FieldT98},
  cites = {0},
  citedby = {0},
  journal = {INFSOF},
  volume = {40},
  number = {11-12},
  pages = {609-636},
}

@inproceedings{DineshT97,
  title = {A Slicing-Based Approach for Locating Type Errors},
  author = {T. B. Dinesh and Frank Tip},
  year = {1997},
  url = {http://www.usenix.org/publications/library/proceedings/dsl97/dinesh.html},
  tags = {rule-based, slicing, DSL, systematic-approach},
  researchr = {https://researchr.org/publication/DineshT97},
  cites = {0},
  citedby = {0},
  booktitle = {DSL},
}

@techreport{DeursenKlintTip1992,
  title = {Origin Tracking},
  author = {Arie  van Deursen and Paul  Klint and Frank Tip},
  year = {1992},
  researchr = {https://researchr.org/publication/DeursenKlintTip1992},
  cites = {0},
  citedby = {1},
}

@inproceedings{TipLSS99,
  title = {Practical Experience with an Application Extractor for Java},
  author = {Frank Tip and Chris Laffra and Peter F. Sweeney and David Streeter},
  year = {1999},
  doi = {10.1145/320384.320414},
  url = {http://doi.acm.org/10.1145/320384.320414},
  tags = {Java},
  researchr = {https://researchr.org/publication/TipLSS99},
  cites = {0},
  citedby = {0},
  pages = {292-305},
  booktitle = {OOPSLA},
}

@inproceedings{RenRST05,
  title = {Chianti: a change impact analysis tool for java programs},
  author = {Xiaoxia Ren and Barbara G. Ryder and Maximilian Störzer and Frank Tip},
  year = {2005},
  doi = {10.1145/1062455.1062598},
  url = {http://doi.acm.org/10.1145/1062455.1062598},
  tags = {Java, program analysis, analysis},
  researchr = {https://researchr.org/publication/RenRST05},
  cites = {0},
  citedby = {0},
  pages = {664-665},
  booktitle = {ICSE},
}

@article{DeursenKT93,
  title = {Origin Tracking},
  author = {Arie  van Deursen and Paul  Klint and Frank Tip},
  year = {1993},
  researchr = {https://researchr.org/publication/DeursenKT93},
  cites = {0},
  citedby = {4},
  journal = {JSC},
  volume = {15},
  number = {5/6},
  pages = {523-545},
}

@inproceedings{SchaferDSTT10,
  title = {Correct Refactoring of Concurrent Java Code},
  author = {Max Schäfer and Julian Dolby and Manu Sridharan and Emina Torlak and Frank Tip},
  year = {2010},
  doi = {10.1007/978-3-642-14107-2_11},
  url = {http://dx.doi.org/10.1007/978-3-642-14107-2_11},
  tags = {Java, refactoring},
  researchr = {https://researchr.org/publication/SchaferDSTT10},
  cites = {0},
  citedby = {0},
  pages = {225-249},
  booktitle = {ECOOP},
}

@inproceedings{FieldT94,
  title = {Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing},
  author = {John Field and Frank Tip},
  year = {1994},
  tags = {term rewriting, graph-rewriting, slicing, rewriting},
  researchr = {https://researchr.org/publication/FieldT94},
  cites = {0},
  citedby = {0},
  pages = {415-431},
  booktitle = {plilp},
}

@inproceedings{Tip93,
  title = {Animators for Generated Programming Environments},
  author = {Frank Tip},
  year = {1993},
  tags = {meta programming, meta-model, programming, Meta-Environment},
  researchr = {https://researchr.org/publication/Tip93},
  cites = {0},
  citedby = {0},
  pages = {241-254},
  booktitle = {AADEBUG},
}

@inproceedings{RenSTRC04,
  title = {Chianti: a tool for change impact analysis of java programs},
  author = {Xiaoxia Ren and Fenil Shah and Frank Tip and Barbara G. Ryder and Ophelia Chesley},
  year = {2004},
  doi = {10.1145/1028976.1029012},
  url = {http://doi.acm.org/10.1145/1028976.1029012},
  tags = {Java, program analysis, analysis},
  researchr = {https://researchr.org/publication/RenSTRC04},
  cites = {0},
  citedby = {0},
  pages = {432-448},
  booktitle = {OOPSLA},
}

@inproceedings{TipS97,
  title = {Class Hierarchy Specialization},
  author = {Frank Tip and Peter F. Sweeney},
  year = {1997},
  researchr = {https://researchr.org/publication/TipS97},
  cites = {0},
  citedby = {0},
  pages = {271-285},
  booktitle = {OOPSLA},
}

@inproceedings{FuhrerTKDK05,
  title = {Efficiently Refactoring Java Applications to Use Generic Libraries},
  author = {Robert M. Fuhrer and Frank Tip and Adam Kiezun and Julian Dolby and Markus Keller},
  year = {2005},
  doi = {10.1007/11531142_4},
  url = {http://dx.doi.org/10.1007/11531142_4},
  tags = {Java, refactoring},
  researchr = {https://researchr.org/publication/FuhrerTKDK05},
  cites = {0},
  citedby = {0},
  pages = {71-96},
  booktitle = {ECOOP},
}

@inproceedings{Tip95,
  title = {Generic Techniques for Source-Level Debugging and Dynamic Program Slicing},
  author = {Frank Tip},
  year = {1995},
  tags = {generic programming, source-to-source, slicing, debugging, open-source},
  researchr = {https://researchr.org/publication/Tip95},
  cites = {0},
  citedby = {0},
  pages = {516-530},
  booktitle = {tapsoft},
}

@inproceedings{VaziriTDHV10,
  title = {A Type System for Data-Centric Synchronization},
  author = {Mandana Vaziri and Frank Tip and Julian Dolby and Christian Hammer and Jan Vitek},
  year = {2010},
  doi = {10.1007/978-3-642-14107-2_15},
  url = {http://dx.doi.org/10.1007/978-3-642-14107-2_15},
  tags = {synchronization, type system, data-flow},
  researchr = {https://researchr.org/publication/VaziriTDHV10},
  cites = {0},
  citedby = {0},
  pages = {304-328},
  booktitle = {ECOOP},
}

@inproceedings{RyderT01,
  title = {Change impact analysis for object-oriented programs},
  author = {Barbara G. Ryder and Frank Tip},
  year = {2001},
  doi = {10.1145/379605.379661},
  url = {http://doi.acm.org/10.1145/379605.379661},
  tags = {object-oriented programming, program analysis, meta programming, analysis, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/RyderT01},
  cites = {0},
  citedby = {0},
  pages = {46-53},
  booktitle = {PASTE},
}

@inproceedings{Tip07,
  title = {Refactoring Using Type Constraints},
  author = {Frank Tip},
  year = {2007},
  doi = {10.1007/978-3-540-74061-2_1},
  url = {http://dx.doi.org/10.1007/978-3-540-74061-2_1},
  tags = {refactoring, constraints},
  researchr = {https://researchr.org/publication/Tip07},
  cites = {0},
  citedby = {0},
  pages = {1-17},
  booktitle = {SAS},
}

@inproceedings{VaziriTFD07,
  title = {Declarative Object Identity Using Relation Types},
  author = {Mandana Vaziri and Frank Tip and Stephen Fink and Julian Dolby},
  year = {2007},
  doi = {10.1007/978-3-540-73589-2_4},
  url = {http://dx.doi.org/10.1007/978-3-540-73589-2_4},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/VaziriTFD07},
  cites = {0},
  citedby = {0},
  pages = {54-78},
  booktitle = {ECOOP},
}

@article{Tip95:0,
  title = {A survey of program slicing techniques},
  author = {Frank Tip},
  year = {1995},
  url = {http://compscinet.dcs.kcl.ac.uk/JP/jp030301.abs.html},
  tags = {survey, slicing},
  researchr = {https://researchr.org/publication/Tip95%3A0},
  cites = {0},
  citedby = {0},
  journal = {jpl},
  volume = {3},
  number = {3},
}

@inproceedings{RamalingamFT99,
  title = {Aggregate Structure Identification and Its Application to Program Analysis},
  author = {Ganesan Ramalingam and John Field and Frank Tip},
  year = {1999},
  doi = {10.1145/292540.292553},
  url = {http://doi.acm.org/10.1145/292540.292553},
  tags = {program analysis, analysis},
  researchr = {https://researchr.org/publication/RamalingamFT99},
  cites = {0},
  citedby = {0},
  pages = {119-132},
  booktitle = {POPL},
}

@inproceedings{KiezunETF07,
  title = {Refactoring for Parameterizing Java Classes},
  author = {Adam Kiezun and Michael D. Ernst and Frank Tip and Robert M. Fuhrer},
  year = {2007},
  doi = {10.1109/ICSE.2007.70},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.70},
  tags = {Java, refactoring},
  researchr = {https://researchr.org/publication/KiezunETF07},
  cites = {0},
  citedby = {0},
  pages = {437-446},
  booktitle = {ICSE},
}

@inproceedings{SneltingT98,
  title = {Reengineering Class Hierarchies Using Concept Analysis},
  author = {Gregor Snelting and Frank Tip},
  year = {1998},
  doi = {10.1145/288195.288273},
  url = {http://doi.acm.org/10.1145/288195.288273},
  tags = {analysis},
  researchr = {https://researchr.org/publication/SneltingT98},
  cites = {0},
  citedby = {0},
  pages = {99-110},
  booktitle = {ESEC/FSE},
}

@article{SneltingT00,
  title = {Understanding class hierarchies using concept analysis},
  author = {Gregor Snelting and Frank Tip},
  year = {2000},
  doi = {10.1145/353926.353940},
  url = {http://doi.acm.org/10.1145/353926.353940},
  tags = {analysis},
  researchr = {https://researchr.org/publication/SneltingT00},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {22},
  number = {3},
  pages = {540-582},
}

@inproceedings{WlokaRTR09,
  title = {Safe-commit analysis to facilitate team software development},
  author = {Jan Wloka and Barbara G. Ryder and Frank Tip and Xiaoxia Ren},
  year = {2009},
  doi = {10.1109/ICSE.2009.5070549},
  url = {http://dx.doi.org/10.1109/ICSE.2009.5070549},
  tags = {analysis},
  researchr = {https://researchr.org/publication/WlokaRTR09},
  cites = {0},
  citedby = {0},
  pages = {507-517},
  booktitle = {ICSE},
}

@inproceedings{DigJTMBGK07,
  title = {Refactoring Tools},
  author = {Danny Dig and Ralph E. Johnson and Frank Tip and Oege de Moor and Jan Becicka and William G. Griswold and Markus Keller},
  year = {2007},
  doi = {10.1007/978-3-540-78195-0_19},
  url = {http://dx.doi.org/10.1007/978-3-540-78195-0_19},
  tags = {refactoring},
  researchr = {https://researchr.org/publication/DigJTMBGK07},
  cites = {0},
  citedby = {0},
  pages = {193-202},
  booktitle = {ECOOPW},
}
@proceedings{issta-2011,
  title = {Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011},
  year = {2011},
  tags = {testing, analysis},
  researchr = {https://researchr.org/publication/issta-2011},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011},
  conference = {ISSTA},
  editor = {Matthew B. Dwyer and Frank Tip},
  publisher = {ACM},
  isbn = {978-1-4503-0562-4},
}

@proceedings{pepm:2006,
  title = {Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006},
  year = {2006},
  tags = {semantics, partial evaluation},
  researchr = {https://researchr.org/publication/pepm%3A2006},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006},
  conference = {PEPM},
  editor = {John Hatcliff and Frank Tip},
  publisher = {ACM},
  isbn = {1-59593-196-1},
}