يعرض 31 - 40 نتائج من 69 نتيجة بحث عن '"Program verification."', وقت الاستعلام: 0.01s تنقيح النتائج
  1. 31

    PR-Miner automatically extracting implicit programming rules and detecting violations in large software code. حسب Li, Zhenmin

    الحاوية / القاعدة Software engineering notes.
    مقال

    PR-Miner automatically extracting implicit programming rules and detecting violations in large software code.
  2. 32

    Usage model-based automated testing of C++ templates. حسب Sayre, Kirk

    الحاوية / القاعدة Software engineering notes.
    مقال

    Usage model-based automated testing of C++ templates.
  3. 33

    Model-based testing for applications derived from software product lines. حسب Olimpiew, Erika Mir

    الحاوية / القاعدة Software engineering notes.
    مقال

    Model-based testing for applications derived from software product lines.
  4. 34

    Generating optimal distinguishing sequences with a model checker. حسب Robinson-Mallett, Christopher

    الحاوية / القاعدة Software engineering notes.
    مقال

    Generating optimal distinguishing sequences with a model checker.
  5. 35

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

    الحاوية / القاعدة Software engineering notes.
    مقال

    Case studies on fault detection effectiveness of model based test generation techniques.
  6. 36

    Modeling for image processing system validation, verification and testing. حسب Li, Xing

    الحاوية / القاعدة Software engineering notes.
    مقال

    Modeling for image processing system validation, verification and testing.
  7. 37

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

    الحاوية / القاعدة Software engineering notes.
    مقال

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

    Exception handling in component composition with the support of middleware. حسب Feng, Yaodong

    الحاوية / القاعدة Software engineering notes.
    مقال

    Exception handling in component composition with the support of middleware.
  9. 39

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

    الحاوية / القاعدة Software engineering notes.
    مقال

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

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. حسب Dingel, Juergen

    الحاوية / القاعدة Software engineering notes.
    مقال

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

أدوات البحث: