Travelled to:1 × Croatia
1 × Cyprus
1 × Italy
1 × South Africa
1 × Switzerland
1 × The Netherlands
6 × USA
Collaborated with:M.D.Ernst F.Tip J.Dolby A.Kiezun M.Pistoia S.Kim D.Glasser D.Saff J.H.Perkins S.H.Jensen A.Møller H.Samimi M.Schäfer T.D.Millstein L.J.Hendren V.Ganesh P.J.Guo P.Hooimeijer M.Sridharan S.Guarnieri O.Tripp R.Berg Y.Zibin A.Potanin M.Ali D.Dig A.M.Paradkar
Talks about:applic (6) test (4) web (4) analysi (3) dynam (3) crash (3) framework (2) reproduc (2) generat (2) string (2)
Person: Shay Artzi
DBLP: Artzi:Shay
Contributed to:
2012
20112011
20112010
2010
2009
20082008
200720072005Wrote 12 papers:
- ICSE-2012-SamirniSAMTH #automation #constraints #fault #generative #html #php #string #theorem proving #using
- Automated repair of HTML generation errors in PHP applications using string constraint solving (HS, MS, SA, TDM, FT, LJH), pp. 277–287.
- CAV-2011-GaneshKAGHE #analysis #detection #named #string #testing
- HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection (VG, AK, SA, PJG, PH, MDE), pp. 1–19.
- ICSE-2011-ArtziDJMT #automation #framework #javascript #testing #web
- A framework for automated testing of javascript web applications (SA, JD, SHJ, AM, FT), pp. 571–580.
- OOPSLA-2011-SridharanAPGTB #analysis #named #web
- F4F: taint analysis of framework-based web applications (MS, SA, MP, SG, OT, RB), pp. 1053–1068.
- ICSE-2010-ArtziDTP #fault #locality #web
- Practical fault localization for dynamic web applications (SA, JD, FT, MP), pp. 265–274.
- ISSTA-2010-ArtziDTP #effectiveness #fault #generative #locality #testing
- Directed test generation for effective fault localization (SA, JD, FT, MP), pp. 49–60.
- ESEC-FSE-2009-ArtziKE #named
- ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications (SA, SK, MDE), pp. 295–296.
- ECOOP-2008-ArtziKE #named
- ReCrash: Making Software Failures Reproducible by Preserving Object States (SA, SK, MDE), pp. 542–565.
- ISSTA-2008-ArtziKDTDPE #debugging #web
- Finding bugs in dynamic web applications (SA, AK, JD, FT, DD, AMP, MDE), pp. 261–272.
- ASE-2007-ArtziKGE #analysis
- Combined static and dynamic mutability analysis (SA, AK, DG, MDE), pp. 104–113.
- ESEC-FSE-2007-ZibinPAAKE #java #using
- Object and reference immutability using java generics (YZ, AP, MA, SA, AK, MDE), pp. 75–84.
- ASE-2005-SaffAPE #automation #java
- Automatic test factoring for java (DS, SA, JHP, MDE), pp. 114–123.