Showing 21 - 30 results of 63 for search '"Software / Program Verification."', query time: 0.02s Refine Results
  1. 21

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

    Article

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

    Relational analysis of algebraic datatypes. by Kuncak, Viktor

    Article

    Relational analysis of algebraic datatypes.
  3. 23

    Lightweight object specification with typestates. by Bierhoff, Kevin

    Article

    Lightweight object specification with typestates.
  4. 24

    Joining dataflow with predicates. by Fischer, Jeffrey

    Article

    Joining dataflow with predicates.
  5. 25

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

    Article

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

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

    Article

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

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

    Article

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

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

    Article

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

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

    Article

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

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

    Article

    Modeling for image processing system validation, verification and testing.

Search Tools: