Treffer 21 - 30 von 63 für Suche '"Software/Program Verification."', Suchdauer: 0,02s Treffer weiter einschränken
  1. 21

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

    Veröffentlicht in Software engineering notes.
    Artikel

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

    Relational analysis of algebraic datatypes. von Kuncak, Viktor

    Veröffentlicht in Software engineering notes.
    Artikel

    Relational analysis of algebraic datatypes.
  3. 23

    Lightweight object specification with typestates. von Bierhoff, Kevin

    Veröffentlicht in Software engineering notes.
    Artikel

    Lightweight object specification with typestates.
  4. 24

    Joining dataflow with predicates. von Fischer, Jeffrey

    Veröffentlicht in Software engineering notes.
    Artikel

    Joining dataflow with predicates.
  5. 25

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

    Veröffentlicht in Software engineering notes.
    Artikel

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

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

    Veröffentlicht in Software engineering notes.
    Artikel

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

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

    Veröffentlicht in Software engineering notes.
    Artikel

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

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

    Veröffentlicht in Software engineering notes.
    Artikel

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

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

    Veröffentlicht in Software engineering notes.
    Artikel

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

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

    Veröffentlicht in Software engineering notes.
    Artikel

    Modeling for image processing system validation, verification and testing.

Suchwerkzeuge: