Follow
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
2712011
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
2462011
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
2272010
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
2182008
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
1882010
Automatic test factoring for Java
D Saff, S Artzi, JH Perkins, MD Ernst
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
1722005
Recrash: Making software failures reproducible by preserving object states
S Artzi, S Kim, MD Ernst
ECOOP 2008–Object-Oriented Programming: 22nd European Conference Paphos …, 2008
1582008
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
1482012
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
1372011
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
1272007
Practical fault localization for dynamic web applications
S Artzi, J Dolby, F Tip, M Pistoia
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
1082010
miRNAminer: a tool for homologous microRNA gene search
S Artzi, A Kiezun, N Shomron
BMC bioinformatics 9, 1-7, 2008
912008
miRviewer: a multispecies microRNA homologous viewer
A Kiezun, S Artzi, S Modai, N Volk, O Isakov, N Shomron
BMC research notes 5, 1-6, 2012
882012
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
822013
HAMPI: A string solver for testing, analysis and vulnerability detection
V Ganesh, A Kieżun, S Artzi, PJ Guo, P Hooimeijer, M Ernst
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
582011
Fault localization for dynamic web applications
S Artzi, J Dolby, F Tip, M Pistoia
IEEE Transactions on Software Engineering 38 (2), 314-335, 2011
572011
Finding the needles in the haystack: Generating legal test inputs for object-oriented programs
S Artzi, MD Ernst, A Kiezun, C Pacheco, JH Perkins
562006
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
522015
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
512013
Fault detection and localization in dynamic software applications requiring user inputs and persistent states
S Artzi, J Dolby, F Tip
US Patent 8,578,342, 2013
492013
The system can't perform the operation now. Try again later.
Articles 1–20