Shay Artzi and Ernst - Free people check

(1 - 13 from 14

)

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 = ...

All web results to the name "Shay Artzi"

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, ...

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 ...

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

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Shay Artzi and Ernst Free People Check