Отображение 21 - 30 результаты of 63 для поиска '"Software/Program Verification."', время запроса: 0.02сек. Отмена результатов
  1. 21

    Context- and path-sensitive memory leak detection. по Xie, Yichen

    Опубликовано в: Software engineering notes.
    Статья

    Context- and path-sensitive memory leak detection.
  2. 22

    Relational analysis of algebraic datatypes. по Kuncak, Viktor

    Опубликовано в: Software engineering notes.
    Статья

    Relational analysis of algebraic datatypes.
  3. 23

    Lightweight object specification with typestates. по Bierhoff, Kevin

    Опубликовано в: Software engineering notes.
    Статья

    Lightweight object specification with typestates.
  4. 24

    Joining dataflow with predicates. по Fischer, Jeffrey

    Опубликовано в: Software engineering notes.
    Статья

    Joining dataflow with predicates.
  5. 25

    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.
  6. 26

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

    Опубликовано в: Software engineering notes.
    Статья

    Usage model-based automated testing of C++ templates.
  7. 27

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

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

    Опубликовано в: Software engineering notes.
    Статья

    Generating optimal distinguishing sequences with a model checker.
  9. 29

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

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

    Опубликовано в: Software engineering notes.
    Статья

    Modeling for image processing system validation, verification and testing.

Инструменты поиска: