Shay Artzi's publications
people.csail.mit.edu
“A formal definition and evaluation of parameter immutability” by Shay Artzi, Jaime Quinonez, Adam Kieżun, and Michael D. Ernst. Automated Software Engineering ...
Michael Ernst - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Shay Artzi: Massachusetts Institute of Technology: 2009: Ivan Beschastnikh: University of Washington: 2013: Werner Dietl: ETH Zürich: 2009: Colin Gordon: University ...
Computer Aided Verification: 23rd International Conference, CAV
books.google.de
1 Vijay Ganesh, Adam Kie ̇zun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, and Michael Ernst Using Types for Software Verification (Invited Tutorial).
ECOOP Object-Oriented Programming: 22nd European Conference...
books.google.de
ReCrash: Making Software Failures Reproducible by Preserving Object States Shay Artzi, Sunghun Kim, and Michael D. Ernst MIT Computer Science and ...
Verification-based Software-fault Detection - Christoph David...
books.google.de
David Saff, Shay Artzi, Jeff H. Perkins, and Michael D. Ernst. Automatic test factoring for Java. In David F. Redmiles, Thomas Ellman, and Andrea Zisman, editors, ...
CSAIL Research Abstract
publications.csail.mit.edu
Test Factoring: Focusing Test Suites for the Task at Hand David Saff, Shay Artzi, Jeff H. Perkins & Michael D. Ernst
CiteSeerX — Combined static and dynamic mutability analysis
citeseerx.ist.psu.edu
BibTeX @TECHREPORT{Kiezun07combinedstatic, author = {Adam Kiezun and Shay Artzi and Shay Artzi and Michael D. Ernst and Michael D. Ernst and David Glasser …
MIT CSAIL Research Abstracts
publications.csail.mit.edu
Automatic Test Factoring for Java David Saff, Shay Artzi, Jeff H. Perkins & Michael D. Ernst Problem: Slow, Unfocused Tests. Frequent execution of a test suite ...
ReCrash: Making software failures reproducible by preserving object...
homes.cs.washington.edu
... {Shay Artzi and Sunghun Kim and Michael D. Ernst}, title = {ReCrash: Making software failures reproducible by preserving object states}, booktitle = ...
Log In - Maverick Wikis
wiki.uta.edu
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit Paradkar, Michael D. Earnst. Proceeding: ISSTA '08. (International Symposium on Software ...
All web results to the name "Shay Artzi"
PPT - Finding Bugs in Dynamic Web Applications PowerPoint...
www.slideserve.com
Finding Bugs in Dynamic Web Applications. Shay Artzi , Adam Kiezun , Julian Dolby, Frank Tip, Danny Dig, Amit Paradkar , Michael D. Earnst. Proceeding: ISSTA '
Frank Tip
www.franktip.org
Finding Bugs in Dynamic Web Applications, Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit Paradkar, Michael D. Ernst ...
Michael Ernst's publications
homes.cs.washington.edu
Michael Ernst's publications A previous version appeared as “Combined static and dynamic mutability analysis” by Shay Artzi, Michael D. Ernst, ...
ECOOP-08 Cyprus
ecoop08.cs.ucy.ac.cy
Shay Artzi - MIT Computer Science and Artificial Intelligence Lab, USA Sunghun Kim - MIT Computer Science and Artificial Intelligence Lab, USA Michael D.
EiffelSoftware Open Source - CddBranch
dev.eiffel.com
Sunghun Kim, Shay Artzi, and Michael D. Ernst, "reCrash: Making Crash Reproducible" MIT Computer Science and Artificial Intelligence ...
NSF Award Search: Award# SoD-HCER: Testing Designs and...
www.nsf.gov
Shay Artzi, Sunghun Kim, and Michael D. Ernst. "ReCrash: Making software failures reproducible by preserving object states," ECOOP ? Object- Oriented ...
Structure-based in silico identification of ubiquitin-binding domains...
resources.nanotempertech.com
Tal Keren‐Kaplan, Ilan Attali, Michael Estrin, Lillian S Kuo, Efrat Farkash, Moran Jerabek‐Willemsen, Noa Blutraich, Shay Artzi, Aviyah Peri, Eric O Freed, Haim J ...
xml-dev - RE: [xml-dev] URIResolver for saxon
lists.xml.org
To: "'Shay Artzi'" &.org>; Subject: RE: [xml-dev] URIResolver for saxon; From: "Michael Kay" ...
Related search requests for Shay Artzi
Omer Tripp Manu Sridharan Alex Potanin | Yoav Zibin Salvatore Guarnieri Noam Shomron | Adam Kiezun Julian Dolby Ryan Berg |
People Forename "Shay" (2606) Name "Artzi" (33) |
sorted by relevance / date