Résultat(s) 6 001 - 6 010 résultats de 6 896 pour la requête '"Testing"', Temps de recherche: 0,04s Affiner les résultats
  1. 6001

    Assume-guarantee testing. par Blundell, Colin

    Article

    Assume-guarantee testing.
  2. 6002

    Review of "System Testing with an Attitude An Approach That Nurtures Front-Loaded (Designed and built in. . . not tested in!) Software Quality. par Saur, Joe

    Article

    Review of "System Testing with an Attitude An Approach That Nurtures Front-Loaded (Designed and built in. . . not tested in!) Software Quality.
  3. 6003

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

    Article

    An empirical framework for comparing effectiveness of testing and property-based formal analysis.
  4. 6004

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

    Article

    Evaluating and tuning a static analysis to find null pointer bugs.
  5. 6005

    Low overhead program monitoring and profiling. par Kumar, Naveen

    Article

    Low overhead program monitoring and profiling.
  6. 6006

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

    Article

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

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

    Article

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

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

    Article

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

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

    Article

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

    String analysis for x86 binaries. par Christodorescu, Mihai

    Article

    String analysis for x86 binaries.

Outils de recherche: