Näytetään 21 - 30 yhteensä 63 tuloksesta haulle '"Software program verification."', hakuaika: 0,02s Tarkenna hakua
  1. 21

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

    Artikkeli

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

    Relational analysis of algebraic datatypes. Tekijä Kuncak, Viktor

    Artikkeli

    Relational analysis of algebraic datatypes.
  3. 23

    Lightweight object specification with typestates. Tekijä Bierhoff, Kevin

    Artikkeli

    Lightweight object specification with typestates.
  4. 24

    Joining dataflow with predicates. Tekijä Fischer, Jeffrey

    Artikkeli

    Joining dataflow with predicates.
  5. 25

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

    Artikkeli

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

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

    Artikkeli

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

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

    Artikkeli

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

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

    Artikkeli

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

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

    Artikkeli

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

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

    Artikkeli

    Modeling for image processing system validation, verification and testing.

Työkalut: