Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

51 results for Frank Tip

Dynamic detection of atomic-set-serializability violations
- - Christian Hammer
  - Julian Dolby
  - et al.
- 2008
- ICSE 2008
Finding bugs efficiently with a SAT solver
- - Julian Dolby
  - Mandana Vaziri
  - et al.
- 2007
- ESEC/FSE 2007
Refactoring for parameterizing java classes
- - Adam Kiezun
  - Michael D. Ernst
  - et al.
- 2007
- ICSE 2007
Crisp - A fault localization tool for Java programs
- - Ophelia C. Chesley
  - Xiaoxia Ren
  - et al.
- 2007
- ICSE 2007
Chianti: A change impact analysis tool for programs
- - Xiaoxia Ren
  - Barbara G. Ryder
  - et al.
- 2005
- ICSE 2005
Study of dead data members in C++ applications
- - P.F. Sweeney
  - F. Tip
- 1998
- PLDI 1998
A Study of Call Graph Construction for JVM-Hosted Languages
- - Karim Ali
  - Xiaoni Lai
  - et al.
- 2021
- IEEE TSE
A comprehensive approach to naming and accessibility in refactoring java programs
- - Max Schäfer
  - Andreas Thies
  - et al.
- 2012
- IEEE TSE
Fault localization for dynamic web applications
- - Shay Artzi
  - Julian Dolby
  - et al.
- 2012
- IEEE TSE
Finding bugs in web applications using dynamic test generation and explicit-state model checking
- - Shay Artzi
  - Adam Kiezun
  - et al.
- 2010
- IEEE TSE