|
|
|
|
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 |
| 1 | Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
Fault Localization for Dynamic Web Applications.  |
IEEE Trans. Software Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg |
F4F: taint analysis of framework-based web applications.  |
OOPSLA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection.  |
CAV  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip |
A framework for automated testing of javascript web applications.  |
ICSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay 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.  |
IEEE Trans. Software Eng.  |
2010 |
DBLP DOI BibTeX RDF |
reliability, verification, Software testing, Web applications, dynamic analysis, PHP |
| 1 | Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
Directed test generation for effective fault localization.  |
ISSTA  |
2010 |
DBLP DOI BibTeX RDF |
testing web applications, automated testing, concolic testing |
| 1 | Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
Practical fault localization for dynamic web applications.  |
ICSE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst |
Parameter reference immutability: formal definition, inference tool, and comparison.  |
Autom. Softw. Eng.  |
2009 |
DBLP DOI BibTeX RDF |
Reference immutability, Combined analysis, Definition, Readonly |
| 1 | Shay Artzi, Sunghun Kim, Michael D. Ernst |
ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications.  |
ESEC/SIGSOFT FSE  |
2009 |
DBLP DOI BibTeX RDF |
monitoring, tracing, unit test, reproducing, crash |
| 1 | Shay Artzi, Adam Kiezun, Noam Shomron |
miRNAminer: A tool for homologous microRNA gene search.  |
BMC Bioinformatics  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst |
Finding bugs in dynamic web applications.  |
ISSTA  |
2008 |
DBLP DOI BibTeX RDF |
software testing, web applications, dynamic analysis, php |
| 1 | Shay Artzi, Sunghun Kim, Michael D. Ernst |
ReCrash: Making Software Failures Reproducible by Preserving Object States.  |
ECOOP  |
2008 |
DBLP DOI BibTeX RDF |
test generation, object, failure, Fault, bug, replay, reproducing, capture, crash |
| 1 | Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst |
Combined static and dynamic mutability analysis.  |
ASE  |
2007 |
DBLP DOI BibTeX RDF |
reference immutability, readonly |
| 1 | Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst |
Object and reference immutability using java generics.  |
ESEC/SIGSOFT FSE  |
2007 |
DBLP DOI BibTeX RDF |
IGJ, const, java, generic, readonly, immutability |
| 1 | David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst |
Automatic test factoring for java.  |
ASE  |
2005 |
DBLP DOI BibTeX RDF |
test factoring, unit testing, mock objects |
| 1 | Shay Artzi, Michael D. Ernst |
Using predicate fields in a highly flexible industrial control system.  |
OOPSLA Companion  |
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: )
|
|