Εμφανίζονται 511 - 520 Αποτελέσματα από 736 για την αναζήτηση '"Software engineer."', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 511

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

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    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. ανά Liang, Donglin

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    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. ανά Privat, Jean

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Link-time static analysis for efficient separate compilation of object-oriented languages.
  4. 514

    Low overhead program monitoring and profiling. ανά Kumar, Naveen

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Low overhead program monitoring and profiling.
  5. 515

    A concept analysis inspired greedy algorithm for test suite minimization. ανά Tallam, Sriraman

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

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

    MonDe safe updating through monitored deployment of new component versions. ανά Cook, Jonathan

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

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

    Making distributed systems secure with program analysis and transformation. ανά Myers, Andrew

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

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

    Invariants and state in testing and formal methods. ανά Hamlet, Dick

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

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

    Symbolic path simulation in path-sensitive dataflow analysis. ανά Hampapuram, Hari

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

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

    String analysis for x86 binaries. ανά Christodorescu, Mihai

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    String analysis for x86 binaries.

Εργαλεία αναζήτησης: