BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Artzi:Shay

Contributed to:

ICSE 20122012
CAV 20112011
ICSE 20112011
OOPSLA 20112011
ICSE 20102010
ISSTA 20102010
ESEC/FSE 20092009
ECOOP 20082008
ISSTA 20082008
ASE 20072007
ESEC/FSE 20072007
ASE 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.