Showing 81 - 90 results of 128 for search '"Checks"', query time: 0.02s Refine Results
  1. 81

    CUTE a concolic unit testing engine for C. by Sen, Koushik

    Article

    CUTE a concolic unit testing engine for C.
  2. 82

    DynaMine  finding common error patterns by mining software revision histories. by Livshits, Benjamin

    Article

    DynaMine  finding common error patterns by mining software revision histories.
  3. 83

    CHARMY an extensible tool for architectural analysis. by Inverardi, Paola

    Article

    CHARMY an extensible tool for architectural analysis.
  4. 84

    KenyaEclipse learning to program in eclipse. by Chatley, Robert

    Article

    KenyaEclipse learning to program in eclipse.
  5. 85

    Usage model-based automated testing of C++ templates. by Sayre, Kirk

    Article

    Usage model-based automated testing of C++ templates.
  6. 86

    Generating optimal distinguishing sequences with a model checker. by Robinson-Mallett, Christopher

    Article

    Generating optimal distinguishing sequences with a model checker.
  7. 87

    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.
  8. 88

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

    Article

    Modeling for image processing system validation, verification and testing.
  9. 89

    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.
  10. 90

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

    Article

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

Search Tools: