JUnitMX - A change-aware unit testing tool
- Jan Wloka
- Barbara G. Ryder
- et al.
- 2009
- ICSE 2009
Publications
Date
Featured collections
Popular topics
51 results for Frank Tip
Finding bugs in dynamic web applications
- Shay Artz
- Adam Kiezun
- et al.
- 2008
- ISSTA 2008
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
An operational semantics and type safety prooffor multiple inheritance in C++
- Daniel Wasserrab
- Tobias Nipkow
- et al.
- 2006
- OOPSLA 2006
Finding failure-inducing changes in java programs using change classification
- Maximilian Stoerzer
- Barbara G. Ryder
- et al.
- 2006
- FSE 2006
An operational semantics and type safety proof for multiple inheritance in C++
- Daniel Wasserrab
- Tobias Nipkow
- et al.
- 2006
- ACM SIGPLAN Notices
Associating synchronization constraints with data in an object-oriented language
- Mandana Vaziri
- Frank Tip
- et al.
- 2006
- ACM SIGPLAN Notices