Shay Artzi
Shay Artzi
Verified email at amazon.com
Title
Cited by
Cited by
Year
A framework for automated testing of JavaScript web applications
S Artzi, J Dolby, SH Jensen, A Møller, F Tip
Proceedings of the 33rd International Conference on Software Engineering …, 2011
2362011
Finding bugs in web applications using dynamic test generation and explicit-state model checking
S Artzi, A Kiezun, J Dolby, F Tip, D Dig, A Paradkar, MD Ernst
IEEE Transactions on Software Engineering 36 (4), 474-494, 2010
2092010
Finding bugs in dynamic web applications
S Artzi, A Kiezun, J Dolby, F Tip, D Dig, A Paradkar, MD Ernst
Proceedings of the 2008 international symposium on Software testing and …, 2008
2052008
In vivo and in vitro tracking of erosion in biodegradable materials using non-invasive fluorescence imaging
N Artzi, N Oliva, C Puron, S Shitreet, S Artzi, A Bon Ramos, A Groothuis, ...
Nature materials 10 (9), 890-890, 2011
1982011
Directed test generation for effective fault localization
S Artzi, J Dolby, F Tip, M Pistoia
Proceedings of the 19th international symposium on Software testing and …, 2010
1752010
Automatic test factoring for Java
D Saff, S Artzi, JH Perkins, MD Ernst
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
1622005
Recrash: Making software failures reproducible by preserving object states
S Artzi, S Kim, MD Ernst
European conference on object-oriented programming, 542-565, 2008
1472008
Automated repair of HTML generation errors in PHP applications using string constraint solving
H Samimi, M Schäfer, S Artzi, T Millstein, F Tip, L Hendren
2012 34th International Conference on Software Engineering (ICSE), 277-287, 2012
1322012
Object and reference immutability using Java generics
Y Zibin, A Potanin, M Ali, S Artzi, A Kie| un, MD Ernst
Proceedings of the the 6th joint meeting of the European software …, 2007
1152007
Practical fault localization for dynamic web applications
S Artzi, J Dolby, F Tip, M Pistoia
2010 ACM/IEEE 32nd International Conference on Software Engineering 1, 265-274, 2010
1062010
F4F: taint analysis of framework-based web applications
M Sridharan, S Artzi, M Pistoia, S Guarnieri, O Tripp, R Berg
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
972011
miRNAminer: a tool for homologous microRNA gene search
S Artzi, A Kiezun, N Shomron
BMC bioinformatics 9 (1), 1-7, 2008
822008
miRviewer: a multispecies microRNA homologous viewer
A Kiezun, S Artzi, S Modai, N Volk, O Isakov, N Shomron
BMC research notes 5 (1), 1-6, 2012
692012
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars
A Kiezun, V Ganesh, S Artzi, PJ Guo, P Hooimeijer, MD Ernst
ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (4), 1-28, 2013
582013
HAMPI: A string solver for testing, analysis and vulnerability detection
V Ganesh, A Kieżun, S Artzi, PJ Guo, P Hooimeijer, M Ernst
International Conference on Computer Aided Verification, 1-19, 2011
552011
Finding the needles in the haystack: Generating legal test inputs for object-oriented programs
S Artzi, MD Ernst, A Kiezun, C Pacheco, JH Perkins
492006
Fault localization for dynamic web applications
S Artzi, J Dolby, F Tip, M Pistoia
IEEE Transactions on Software Engineering 38 (2), 314-335, 2011
482011
Detecting and localizing security vulnerabilities in client-server application
S Artzi, J Dolby, M Pistoia, F Tip, O Tripp
US Patent 8,516,449, 2013
472013
Automated testing of applications with scripting code
S Artzi, J Dolby, SA Guarnieri, SH Jensen, M Pistoia, M Sridharan, F Tip, ...
US Patent 9,135,147, 2015
452015
Combined static and dynamic mutability analysis
S Artzi, A Kiezun, D Glasser, MD Ernst
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
452007
The system can't perform the operation now. Try again later.
Articles 1–20