Showing 141 - 150 results of 242 for search '"Verification."', query time: 0.02s Refine Results
  1. 141

    Case studies on fault detection effectiveness of model based test generation techniques. by Paradkar, Amit

    Article

    Case studies on fault detection effectiveness of model based test generation techniques.
  2. 142

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

    Article

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

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

    Article

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

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

    Article

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

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

    Article

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

    Advances in model-based software testing (A-MOST). by Dalal, Siddhartha R.

    Article

    Advances in model-based software testing (A-MOST).
  7. 147

    Universal software safety standard. by Bhansali, P. V.

    Article

    Universal software safety standard.
  8. 148

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. by Dingel, Juergen

    Article

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  9. 149

    System architecture the context for scenario-based model synthesis. by Uchitel, Sebastian

    Article

    System architecture the context for scenario-based model synthesis.
  10. 150

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

    Article

    PSE explaining program failures via postmortem static analysis.

Search Tools: