Mostrar 6,001 - 6,010 resultats de 6,895 per cerca '"Testing."', hora de la petició: 0.03sec Refinar resultats
  1. 6001

    Review of "System Testing with an Attitude An Approach That Nurtures Front-Loaded (Designed and built in. . . not tested in!) Software Quality. per 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.
  2. 6002

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

    Article

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

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

    Article

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

    Low overhead program monitoring and profiling. per Kumar, Naveen

    Article

    Low overhead program monitoring and profiling.
  5. 6005

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

    Article

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

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

    Article

    Making distributed systems secure with program analysis and transformation.
  7. 6007

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

    Article

    Invariants and state in testing and formal methods.
  8. 6008

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

    Article

    Symbolic path simulation in path-sensitive dataflow analysis.
  9. 6009

    String analysis for x86 binaries. per Christodorescu, Mihai

    Article

    String analysis for x86 binaries.
  10. 6010

    ASTEC a new approach to refactoring C. per McCloskey, Bill

    Article

    ASTEC a new approach to refactoring C.

Eines de cerca: