Searching for authors named "Shay Artzi" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Encrypted Keyword Search in a Distributed Storage System
- …Encrypted Keyword Search in a Distributed Storage System Abstract Shay Artzi Adam Kie˙zun Calvin…
- Add To MetaCart
-
Automatic test factoring for Java
- …Abstract Automatic Test Factoring for Java David Saff, Shay Artzi, Jeff H. Perkins, and Michael D…
- Cited by 27 (6 self) – Add To MetaCart
-
Combined static and dynamic mutability analysis
- …-065 September 17, 2006 Combined static and dynamic mutability analysis Shay Artzi, Michael D. Ernst, David…
- Cited by 11 (7 self) – Add To MetaCart
-
Object and reference immutability using Java generics
- …, Shay Artzi, Adam Kie˙zun, Michael D. Ernst MIT Computer Science & Artificial Intelligence Lab…
- Cited by 7 (4 self) – Add To MetaCart
-
Finding the needles in the haystack: Generating legal test inputs for object-oriented programs
- … Shay Artzi Michael D. Ernst Adam Kie.zun Carlos Pacheco Jeff H. PerkinsMIT CSAIL 32 Vassar Street…
- Cited by 13 (7 self) – Add To MetaCart
-
Recrash: Making software failures reproducible by preserving object states
- … ReCrash: Making Software Failures Reproducible byPreserving Object States Shay Artzi Sunghun Kim…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 6.
