Zobrazuji výsledky 21 - 30 z 63 pro vyhledávání '"Software/program verification."', doba hledání: 0,02 s. Upřesnit hledání
  1. 21

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

    Článek

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

    Relational analysis of algebraic datatypes. Autor Kuncak, Viktor

    Článek

    Relational analysis of algebraic datatypes.
  3. 23

    Lightweight object specification with typestates. Autor Bierhoff, Kevin

    Článek

    Lightweight object specification with typestates.
  4. 24

    Joining dataflow with predicates. Autor Fischer, Jeffrey

    Článek

    Joining dataflow with predicates.
  5. 25

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

    Článek

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

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

    Článek

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

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

    Článek

    Model-based testing for applications derived from software product lines.
  8. 28

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

    Článek

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

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

    Článek

    Case studies on fault detection effectiveness of model based test generation techniques.
  10. 30

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

    Článek

    Modeling for image processing system validation, verification and testing.

Vyhledávací nástroje: