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
2072011
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
1892010
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
1862008
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
1622011
Automatic test factoring for Java
D Saff, S Artzi, JH Perkins, MD Ernst
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
1472005
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
1442010
Recrash: Making software failures reproducible by preserving object states
S Artzi, S Kim, MD Ernst
European conference on object-oriented programming, 542-565, 2008
1292008
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
1112012
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
1092007
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
922010
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
832011
miRNAminer: a tool for homologous microRNA gene search
S Artzi, A Kiezun, N Shomron
BMC bioinformatics 9 (1), 39, 2008
762008
miRviewer: a multispecies microRNA homologous viewer
A Kiezun, S Artzi, S Modai, N Volk, O Isakov, N Shomron
BMC research notes 5 (1), 92, 2012
582012
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
472013
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
472011
Finding the needles in the haystack: Generating legal test inputs for object-oriented programs
S Artzi, MD Ernst, A Kiezun, C Pacheco, JH Perkins
472006
Fault localization for dynamic web applications
S Artzi, J Dolby, F Tip, M Pistoia
IEEE Transactions on Software Engineering 38 (2), 314-335, 2011
462011
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
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
372013
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
362015
The system can't perform the operation now. Try again later.
Articles 1–20