Refactoring using type constraints
- Frank Tip
- Robert M. Fuhrer
- et al.
- 2011
- ACM TOPLAS
Publications
4 results for Michael D. Ernst
Finding bugs in web applications using dynamic test generation and explicit-state model checking
- Shay Artzi
- Adam Kiezun
- et al.
- 2010
- IEEE TSE
ReCrashJ: A tool for capturing and reproducing program crashes in deployed applications
- Shay Artzi
- Sunghun Kim
- et al.
- 2009
- ESEC/FSE 2009
Refactoring for parameterizing java classes
- Adam Kiezun
- Michael D. Ernst
- et al.
- 2007
- ICSE 2007