6,001 - 6,010 toradh á dtaispeáint as 6,896 toradh san iomlán ar an gcuardach '"Tests."', am iarratais: 0.04s Beachtaigh na torthaí
  1. 6001

    Assume-guarantee testing. de réir Blundell, Colin

    Alt

    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. de réir Saur, Joe

    Alt

    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. de réir Bradbury, Jeremy S.

    Alt

    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. de réir Hovemeyer, David

    Alt

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

    Low overhead program monitoring and profiling. de réir Kumar, Naveen

    Alt

    Low overhead program monitoring and profiling.
  6. 6006

    A concept analysis inspired greedy algorithm for test suite minimization. de réir Tallam, Sriraman

    Alt

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

    Making distributed systems secure with program analysis and transformation. de réir Myers, Andrew

    Alt

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

    Invariants and state in testing and formal methods. de réir Hamlet, Dick

    Alt

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

    Symbolic path simulation in path-sensitive dataflow analysis. de réir Hampapuram, Hari

    Alt

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

    String analysis for x86 binaries. de réir Christodorescu, Mihai

    Alt

    String analysis for x86 binaries.

Uirlisí cuardaigh: