Showing 1 - 14 results of 14 for search 'Artzi Shay', query time: 0.04s Refine Results
  1. 1
    Dynamically fighting bugs : prevention, detection and elimination

    Dynamically fighting bugs : prevention, detection and elimination by Artzi, Shay

    Published 2010
    Get full text
    Thesis
  2. 2
    miRNAminer: A tool for homologous microRNA gene search

    miRNAminer: A tool for homologous microRNA gene search by Shomron Noam, Kiezun Adam, Artzi Shay

    Published 2008-01-01
    Get full text
    Article
  3. 3
    miRNAminer: a tool for homologous microRNA gene search

    miRNAminer: a tool for homologous microRNA gene search by Artzi, Shay, Kiezun, Adam, Shomron, Noam

    Published 2010
    Get full text
    Article
  4. 4
    ReCrash: Making Crashes Reproducible

    ReCrash: Making Crashes Reproducible by Kim, Sunghun, Artzi, Shay, Ernst, Michael D.

    Published 2007
    Get full text
  5. 5
    Encrypted Keyword Search in a Distributed Storage System

    Encrypted Keyword Search in a Distributed Storage System by Artzi, Shay, Kiezun, Adam, Newport, Calvin, Schultz, David

    Published 2006
    Get full text
  6. 6
    Combined static and dynamic mutability analysis

    Combined static and dynamic mutability analysis by Artzi, Shay, Ernst, Michael D., Glasser, David, Kiezun, Adam

    Published 2006
    Get full text
  7. 7
    Combined Static and Dynamic Mutability Analysis

    Combined Static and Dynamic Mutability Analysis by Artzi, Shay, Kiezun, Adam, Glasser, David, Ernst, Michael D.

    Published 2007
    Get full text
  8. 8
    Automatic Test Factoring for Java

    Automatic Test Factoring for Java by Saff, David, Artzi, Shay, Perkins, Jeff H., Ernst, Michael D.

    Published 2005
    Get full text
  9. 9
    Object and Reference Immutability using Java Generics

    Object and Reference Immutability using Java Generics by Zibin, Yoav, Potanin, Alex, Artzi, Shay, Kiezun, Adam, Ernst, Michael D.

    Published 2007
    Get full text
  10. 10
    miRviewer: a multispecies microRNA homologous viewer

    miRviewer: a multispecies microRNA homologous viewer by Kiezun Adam, Artzi Shay, Modai Shira, Volk Naama, Isakov Ofer, Shomron Noam

    Published 2012-02-01
    Get full text
    Article
  11. 11
    Finding the needles in the haystack: Generating legal test inputs for object-oriented programs

    Finding the needles in the haystack: Generating legal test inputs for object-oriented programs by Artzi, Shay, Ernst, Michael D., Kiezun, Adam, Pacheco, Carlos, Perkins, Jeff H.

    Published 2006
    Get full text
  12. 12
    Finding Bugs In Dynamic Web Applications

    Finding Bugs In Dynamic Web Applications by Artzi, Shay, Kiezun, Adam, Dolby, Julian, Tip, Frank, Dig, Danny, Paradkar, Amit, Ernst, Michael D.

    Published 2008
    Get full text
  13. 13
    Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit State Model Checking

    Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit State Model Checking by Tip, Frank, Ernst, Michael D., Dig, Danny, Dolby, Julian, Kiezun, Adam, Artzi, Shay, Paradkar, Amit

    Published 2009
    Get full text
  14. 14
    In vivo and in vitro tracking of erosion in biodegradable materials using non-invasive fluorescence imaging

    In vivo and in vitro tracking of erosion in biodegradable materials using non-invasive fluorescence imaging by Artzi, Natalie, Oliva, Nuria, Puron, Cristina, Shitreet, Sagi, bon Ramos, Adriana, Artzi, Shay, Groothuis, Adam R., Sahagian, Gary, Edelman, Elazer R

    Published 2012
    Get full text
    Get full text
    Get full text
    Article

Search Tools: