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 | 280 | 2011 |
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 | 256 | 2011 |
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 | 224 | 2010 |
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 | 222 | 2008 |
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 | 191 | 2010 |
Automatic test factoring for Java D Saff, S Artzi, JH Perkins, MD Ernst Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005 | 175 | 2005 |
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 | 164 | 2008 |
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 | 154 | 2012 |
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 | 142 | 2011 |
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 | 129 | 2007 |
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 | 108 | 2010 |
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 | 92 | 2012 |
miRNAminer: a tool for homologous microRNA gene search S Artzi, A Kiezun, N Shomron BMC bioinformatics 9, 1-7, 2008 | 92 | 2008 |
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 | 83 | 2013 |
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 | 64 | 2011 |
Fault localization for dynamic web applications S Artzi, J Dolby, F Tip, M Pistoia IEEE Transactions on Software Engineering 38 (2), 314-335, 2011 | 57 | 2011 |
Finding the needles in the haystack: Generating legal test inputs for object-oriented programs S Artzi, MD Ernst, A Kiezun, C Pacheco, JH Perkins | 56 | 2006 |
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 | 53 | 2015 |
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 | 51 | 2013 |
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 | 49 | 2013 |