Mostrando 21 - 30 resultados de 63 para a busca '"Software / Program Verification."', tempo de busca: 0.02s Refinar Resultados
  1. 21

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

    Artigo

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

    Relational analysis of algebraic datatypes. por Kuncak, Viktor

    Artigo

    Relational analysis of algebraic datatypes.
  3. 23

    Lightweight object specification with typestates. por Bierhoff, Kevin

    Artigo

    Lightweight object specification with typestates.
  4. 24

    Joining dataflow with predicates. por Fischer, Jeffrey

    Artigo

    Joining dataflow with predicates.
  5. 25

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

    Artigo

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

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

    Artigo

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

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

    Artigo

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

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

    Artigo

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

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

    Artigo

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

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

    Artigo

    Modeling for image processing system validation, verification and testing.

Ferramentas de busca: