The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Shay Artzi" ( http://dblp.L3S.de/Authors/Shay_Artzi )

  Author page on DBLP  Author page in RDF  Community of Shay Artzi in ASPL-2

Publication years (Num. hits)
2005-2011 (15) 2012 (1)
Publication types (Num. hits)
article(4) inproceedings(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 39 occurrences of 30 keywords

Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia Fault Localization for Dynamic Web Applications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg F4F: taint analysis of framework-based web applications. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip A framework for automated testing of javascript web applications. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF reliability, verification, Software testing, Web applications, dynamic analysis, PHP
1Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia Directed test generation for effective fault localization. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF testing web applications, automated testing, concolic testing
1Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia Practical fault localization for dynamic web applications. Search on Bibsonomy ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst Parameter reference immutability: formal definition, inference tool, and comparison. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Reference immutability, Combined analysis, Definition, Readonly
1Shay Artzi, Sunghun Kim, Michael D. Ernst ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF monitoring, tracing, unit test, reproducing, crash
1Shay Artzi, Adam Kiezun, Noam Shomron miRNAminer: A tool for homologous microRNA gene search. Search on Bibsonomy BMC Bioinformatics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst Finding bugs in dynamic web applications. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software testing, web applications, dynamic analysis, php
1Shay Artzi, Sunghun Kim, Michael D. Ernst ReCrash: Making Software Failures Reproducible by Preserving Object States. Search on Bibsonomy ECOOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF test generation, object, failure, Fault, bug, replay, reproducing, capture, crash
1Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst Combined static and dynamic mutability analysis. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reference immutability, readonly
1Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst Object and reference immutability using java generics. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF IGJ, const, java, generic, readonly, immutability
1David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst Automatic test factoring for java. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF test factoring, unit testing, mock objects
1Shay Artzi, Michael D. Ernst Using predicate fields in a highly flexible industrial control system. Search on Bibsonomy OOPSLA Companion The full citation details ... 2005 DBLP  DOI  BibTeX  RDF experimental control system, predicate fields, structure, classifiers, predicates, user interface development
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.