1
0
0
News
Business bits: Podimetrics wins funds for diabetes foot care,...
www.masslive.com
A weekly roundup of New England business news from the Boston Business Journal.
Telephone & Addresses
Shay Artzi, Brookline, US, Bab… St, Apt 1A
View Shay's social profiles and photos on Facebook, MySpace, and +40 Networks.
Shay Artzi, Brookline, US, Lawton St
View Shay's social profiles and photos on Facebook, MySpace, and +40 Networks.
Network Profiles
LinkedIn: Shay Artzi | LinkedIn
View Shay Artzi's (Israel) professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Shay Artzi …
Interests
New Hires Expand Zappix Management Team
www.prweb.com
Zappix announces the hiring of two key executives for its expanding U.S. Management Team.
Business Profiles
Researchgate: Shay Artzi
Armonk, United States
patentbuddy: Shay ARTZI
INTERNATIONAL BUSINESS MACHINES CORPORATION
Private Homepages
Celebrate Israel: Boston Community Leaders | Celebrate Israel Boston
www.celebrateisraelboston.com
Shay Artzi Jennifer and Adam Bookman Debra DeBotton. Iris Frisch Ayelet Ganani Laurie and Paul Gershkowitz Stephanie JL Gertz and Cantor Steven I. Weiss
Tzofim Tzabar - Contact Us
www.israelscouts.org
Tzofim Tzabar is a Zionist Youth movement that encourages its participants to explore different opportunities to take a meaningful part in Israeli society.
Heritage
Shay Artzi - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Search; About MGP. Mission; News; Staff; Recognition; Acknowledgments; Links; FAQs; Posters; Submit Data; Contact; The Mathematics Genealogy Project is in need of ...
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 ...
Books & Literature
Shay Artzi | Scinapse
www.scinapse.io
Web script crashes and malformed dynamically-generated Web pages are common errors, and they seriously impact usability of Web applications. Current tools ...
Advances in Computers - Google Books
books.google.de
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and...
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 ...
Related Documents
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 — F4F : Taint Analysis of Framework-based Web Applications
citeseerx.ist.psu.edu
BibTeX @INPROCEEDINGS{Sridharan11f4f:, author = {Manu Sridharan and Shay Artzi and Marco Pistoia and Salvatore Guarnieri and Ryan Berg}, title = {F4F : Taint ...
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 ...
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 …
Scientific Publications
miRviewer: a multispecies microRNA homologous viewer | BMC Research...
bmcresnotes.biomedcentral.com
Adam Kiezun †, Shay Artzi †, Shira Modai, Naama Volk, Ofer Isakov and Noam Shomron * *
Publications
Dynamically fighting bugs : prevention, detection and elimination -...
core.ac.uk
Dynamically Fighting Bugs: Prevention, Detection, and Elimination by. Shay Artzi. Submitted to the Department of Electrical Engineering and Computer Science.
HAMPI: A String Solver for Testing, Analysis and Vulnerability...
link.springer.com
Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a...
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 ...
Reports & Statements
In vivo and in vitro tracking of erosion in biodegradable materials...
www.nature.com
In vitro experiments of a biomaterial's degradability rarely predict its in vivo behaviour. It is now shown that tracking the hydrolytic and enzymatic erosion...
Shay Artzi's PAG publications
groups.csail.mit.edu
“Finding bugs in web applications using dynamic test generation and explicit state model checking” by Shay Artzi, Adam Kieżun, Julian Dolby, Frank Tip, Danny Dig ...
miRNAminer
groups.csail.mit.edu
miRNAminer is a web-based tool used for homologous miRNA gene search in several species Shay Artzi, Adam Kiezun and Noam Shomron.
Miscellaneous
Shay Artzi | LinkedIn
www.linkedin.com
View Shay Artzi's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Shay Artzi discover inside ...
People on the Move: Shay Artzi and Gal Steinberg, Zappix (March 2013)...
www.fintechfutures.com
Zappix, a Boston-based mobile portal and customer service app company, has announced the hiring of two executives. Shay Artzi, Ph.D, joins Zappix as chief...
Shay Artzi | TESCOM | Email Manager Business Unit and Senior Project...
www.joesdata.com
Email, phone number & executive profile for Shay Artzi, Manager Business Unit and Senior Project of TESCOM at Elk River, MN
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 '
Shay Artzi, Brookline US - Patent applications
www.patentsencyclopedia.com
Patent application number Description Published; : FAULT DETECTION AND LOCALIZATION IN DYNAMIC SOFTWARE APPLICATIONS - The present …
TDGS - "Shay Artzi"
juliette.lsi.us.es
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars
Danny Dig
dig.cs.illinois.edu
Shay Artzi, Adam Kiezun, Julian Dolby, ... Danny Soroker, Ramon Caceres, Danny Dig, Andreas Schade, Susan Spraragen, and Alpana Tiwari Proceedings of ...
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, ...
A Framework for Automated Testing of JavaScript Web Applications
cs.au.dk
Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller and Frank Tip. Abstract. Current practice in testing JavaScript web applications requires manual ...
Apollo - List of Faults | Zenodo
zenodo.org
Overview of Data Bug Reports obtained from tool Apollo, used to find faults in PHP programs. The programs tested are faqforge, webchess, schoolmate, phpsysinfo...
Artzi - Patent applications
www.patentsencyclopedia.com
Shay Artzi, Brookline, MA US Patent applications by Shay Artzi, Brookline, MA US
Billerica native Susan Roberts named associate dean at UMass – Lowell...
www.lowellsun.com
Susan Roberts, a Billerica native and an engineering professor at the University of Massachusetts Amherst, will assume the half-time position of associate dean...
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 ...
xml-dev - Re: [xml-dev] XML Schema tree API
lists.xml.org
To: Shay Artzi &>; Subject: Re: [xml-dev] XML Schema tree API; From: George Cristian Bina &> ...
IFT Analyse et compréhension de programmes
www-labs.iro.umontreal.ca
Page web du cours IFT6315 de l'Université de Montréal
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