Gösterilen 21 - 30 sonuçlar arası kayıtlar. 63 sonuç. Aranan kelime '"Software / Program Verification."', Sorgu süresi: 0.01s Sonuçları Daraltın
  1. 21

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

    Makale

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

    Relational analysis of algebraic datatypes. Yazar: Kuncak, Viktor

    Makale

    Relational analysis of algebraic datatypes.
  3. 23

    Lightweight object specification with typestates. Yazar: Bierhoff, Kevin

    Makale

    Lightweight object specification with typestates.
  4. 24

    Joining dataflow with predicates. Yazar: Fischer, Jeffrey

    Makale

    Joining dataflow with predicates.
  5. 25

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

    Makale

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

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

    Makale

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

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

    Makale

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

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

    Makale

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

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

    Makale

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

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

    Makale

    Modeling for image processing system validation, verification and testing.

Arama Araçları: