Mostrar 601 - 610 resultats de 796 per cerca '"Reliability."', hora de la petició: 0.02sec Refinar resultats
  1. 601

    The effect of code coverage on fault detection under different testing profiles. per Cai, Xia

    Article

    The effect of code coverage on fault detection under different testing profiles.
  2. 602

    Modeling for image processing system validation, verification and testing. per Li, Xing

    Article

    Modeling for image processing system validation, verification and testing.
  3. 603

    Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report. per Lakey, Peter B.

    Article

    Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report.
  4. 604

    Experiences in coverage testing of a Java middleware. per Kessis, Mehdi

    Article

    Experiences in coverage testing of a Java middleware.
  5. 605

    Exception handling in component composition with the support of middleware. per Feng, Yaodong

    Article

    Exception handling in component composition with the support of middleware.
  6. 606

    PSE explaining program failures via postmortem static analysis. per Manevich, Roman

    Article

    PSE explaining program failures via postmortem static analysis.
  7. 607

    Topology based automation of distributed applications management. per Bellur, Umesh

    Article

    Topology based automation of distributed applications management.
  8. 608

    Automatic synthesis of deadlock free connectors for COM per Inverardi, Paola

    Article

    Automatic synthesis of deadlock free connectors for COM
  9. 609

    A notation for problematic architecture interactions. per Davis, L.

    Article

    A notation for problematic architecture interactions.
  10. 610

    Using symbolic execution for verifying safety-critical systems. per Coen-Porisini, Alberto

    Article

    Using symbolic execution for verifying safety-critical systems.

Eines de cerca: