Visas 13 261 - 13 270 av 15 297 resultat för sökning '"Engines."', Sökningstid: 0,05s Förfina resultatet
  1. 13261

    Surfing the net for software engineering notes. av Doernhoefer, Mark

    I publikationen Software engineering notes.
    Artikel

    Surfing the net for software engineering notes.
  2. 13262

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

    I publikationen Software engineering notes.
    Artikel

    An empirical framework for comparing effectiveness of testing and property-based formal analysis.
  3. 13263

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

    I publikationen Software engineering notes.
    Artikel

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

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

    I publikationen Software engineering notes.
    Artikel

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

    Low overhead program monitoring and profiling. av Kumar, Naveen

    I publikationen Software engineering notes.
    Artikel

    Low overhead program monitoring and profiling.
  6. 13266

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

    I publikationen Software engineering notes.
    Artikel

    A concept analysis inspired greedy algorithm for test suite minimization.
  7. 13267

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

    I publikationen Software engineering notes.
    Artikel

    MonDe safe updating through monitored deployment of new component versions.
  8. 13268

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

    I publikationen Software engineering notes.
    Artikel

    Making distributed systems secure with program analysis and transformation.
  9. 13269

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

    I publikationen Software engineering notes.
    Artikel

    Invariants and state in testing and formal methods.
  10. 13270

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

    I publikationen Software engineering notes.
    Artikel

    Symbolic path simulation in path-sensitive dataflow analysis.

Sökverktyg: