Concepedia

Shay Artzi

SA

21

Publications

1.6K

Citations

18

H-Index

2005

Active since

Affiliations

IBM (United States)(Current)

Massachusetts Institute of Technology

IBM Research - Thomas J. Watson Research Center

Harvard University

Tel Aviv University

Shay Artzi is an author at IBM (United States) specializing in engineering, software analysis, and program analysis.

Top concepts

EngineeringProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware TestingVerificationFormal VerificationFormal MethodsComputer ScienceFuzzing

Publications per year

2005–2016

21

Publications

21

A framework for automated testing of javascript web applications

Shay Artzi, Julian Dolby, Simon Holm Jensen et al. · 2011 · 205 citations

Engineering, Javascript Applications, Program Analysis +11

Finding bugs in dynamic web applications

Shay Artzi, Adam Kieżun, Julian Dolby et al. · 2008 · 158 citations

Software Maintenance, Engineering, Software Engineering +18

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking

Shay Artzi, Adam Kieżun, Julian Dolby et al. · IEEE Transactions on Software Engineering · 2010 · 155 citations · Full text

Software Maintenance, Engineering, Verification +21

Directed test generation for effective fault localization

Shay Artzi, Julian Dolby, Frank Tip et al. · 2010 · 142 citations

Software Maintenance, Engineering, Verification +20

Automatic test factoring for java

David Saff, Shay Artzi, Jeff Perkins et al. · 2005 · 127 citations

Engineering, Java Language, Verification +21

Rows per page

1–5 of 21