Publications

10 results for Shay Artzi

Automated repair of HTML generation errors in PHP applications using string constraint solving
- - Hesam Samirni
  - Max Schäfer
  - et al.
- 2012
- ICSE 2012
Fault localization for dynamic web applications
- - Shay Artzi
  - Julian Dolby
  - et al.
- 2012
- IEEE TSE
MiRviewer: A multispecies microRNA homologous viewer
- - Adam Kiezun
  - Shay Artzi
  - et al.
- 2012
- BMC Research Notes
F4F: Taint analysis of framework-based web applications
- - Manu Sridharan
  - Shay Artzi
  - et al.
- 2011
- OOPSLA 2011
A framework for automated testing of JavaScript web applications
- - Shay Artzi
  - Julian Dolby
  - et al.
- 2011
- ICSE 2011
Directed test generation for effective fault localization
- - Shay Artzi
  - Julian Dolby
  - et al.
- 2010
- ISSTA 2010
Practical fault localization for dynamic web applications
- - Shay Artzi
  - Julian Dolby
  - et al.
- 2010
- ICSE 2010
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
Finding bugs in dynamic web applications
- - Shay Artz
  - Adam Kiezun
  - et al.
- 2008
- ISSTA 2008