Dynamic detection of atomic-set-serializability violations
- Christian Hammer
- Julian Dolby
- et al.
- 2008
- ICSE 2008
Publications
Date
Featured collections
Popular topics
51 results for Frank Tip
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