Showing 1 - 10 results of 10 for search 'Program Analysis', query time: 3.93s Refine Results
  1. 1
    Selecting Refining and Evaluating Properties for Program Analysis

    Selecting Refining and Evaluating Properties for Program Analysis by Dodoo, Nii, Lin, Lee, Ernst, Michael D.

    Published 2005
    Other Authors: “…Program Analysis…”
    Get full text
  2. 2
    Eclat: Automatic Generation and Classification of Test Inputs

    Eclat: Automatic Generation and Classification of Test Inputs by Pacheo, Carlos, Ernst, Michael D.

    Published 2005
    Other Authors: “…Program Analysis…”
    Get full text
  3. 3
    Predicting Problems Caused by Component Upgrades

    Predicting Problems Caused by Component Upgrades by McCamant, Stephen, Ernst, Michael D.

    Published 2005
    Other Authors: “…Program Analysis…”
    Get full text
  4. 4
    Converting Java Programs to Use Generic Libraries

    Converting Java Programs to Use Generic Libraries by Donovan, Alan, Kiezun, Adam, Tschantz, Matthew S., Ernst, Michael D.

    Published 2005
    Other Authors: “…Program Analysis…”
    Get full text
  5. 5
    Machine-Checkable Correctness Proofs forIntra-procedural Dataflow Analyses

    Machine-Checkable Correctness Proofs forIntra-procedural Dataflow Analyses by Salcianu, Alexandru, Arkoudas, Konstantine

    Published 2005
    Other Authors: “…Program Analysis…”
    Get full text
  6. 6
    Efficient, Verifiable Binary Sandboxing for a CISC Architecture

    Efficient, Verifiable Binary Sandboxing for a CISC Architecture by McCamant, Stephen, Morrisett, Greg

    Published 2005
    Other Authors: “…Program Analysis…”
    Get full text
  7. 7
    Automatic Test Factoring for Java

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

    Published 2005
    Other Authors: “…Program Analysis…”
    Get full text
  8. 8
    Combining diagrammatic and symbolic reasoning

    Combining diagrammatic and symbolic reasoning by Arkoudas, Konstantine

    Published 2005
    Other Authors: “…Program Analysis…”
    Get full text
  9. 9
    ARBAC Policy for a Large Multi-National Bank

    ARBAC Policy for a Large Multi-National Bank by Jayaraman, Karthick, Ganesh, Vijay, Tripunitara, Mahesh, Rinard, Martin C., Chapin, Steve J.

    Published 2011
    Other Authors: “…Program Analysis…”
    Get full text
  10. 10
    A Lossy, Synchronization-Free, Race-Full, But Still Acceptably Accurate Parallel Space-Subdivision Tree Construction Algorithm

    A Lossy, Synchronization-Free, Race-Full, But Still Acceptably Accurate Parallel Space-Subdivision Tree Construction Algorithm by Rinard, Martin

    Published 2012
    Other Authors: “…Program Analysis…”
    Get full text

Search Tools: