Showing 511 - 520 results of 740 for search '"Software engineering."', query time: 0.02s Refine Results
  1. 511

    An empirical framework for comparing effectiveness of testing and property-based formal analysis. by Bradbury, Jeremy S.

    Article

    An empirical framework for comparing effectiveness of testing and property-based formal analysis.
  2. 512

    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. 513

    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.
  4. 514

    Low overhead program monitoring and profiling. by Kumar, Naveen

    Article

    Low overhead program monitoring and profiling.
  5. 515

    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. 516

    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. 517

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

    Article

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

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

    Article

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

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

    Article

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

    String analysis for x86 binaries. by Christodorescu, Mihai

    Article

    String analysis for x86 binaries.

Search Tools: