Showing 8,661 - 8,670 results of 9,877 for search '"Theory"', query time: 0.05s Refine Results
  1. 8661

    PASTE at Microsoft. by Das, Manuvir

    Article

    PASTE at Microsoft.
  2. 8662

    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. by Liang, Donglin

    Article

    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs.
  3. 8663

    Evaluating and tuning a static analysis to find null pointer bugs. by Hovemeyer, David

    Article

    Evaluating and tuning a static analysis to find null pointer bugs.
  4. 8664

    Link-time static analysis for efficient separate compilation of object-oriented languages. by Privat, Jean

    Article

    Link-time static analysis for efficient separate compilation of object-oriented languages.
  5. 8665

    A concept analysis inspired greedy algorithm for test suite minimization. by Tallam, Sriraman

    Article

    A concept analysis inspired greedy algorithm for test suite minimization.
  6. 8666

    MonDe safe updating through monitored deployment of new component versions. by Cook, Jonathan

    Article

    MonDe safe updating through monitored deployment of new component versions.
  7. 8667

    Making distributed systems secure with program analysis and transformation. by Myers, Andrew

    Article

    Making distributed systems secure with program analysis and transformation.
  8. 8668

    Invariants and state in testing and formal methods. by Hamlet, Dick

    Article

    Invariants and state in testing and formal methods.
  9. 8669

    Symbolic path simulation in path-sensitive dataflow analysis. by Hampapuram, Hari

    Article

    Symbolic path simulation in path-sensitive dataflow analysis.
  10. 8670

    String analysis for x86 binaries. by Christodorescu, Mihai

    Article

    String analysis for x86 binaries.

Search Tools: