Treffer 1 - 10 von 12 für Suche '"Static analysis."', Suchdauer: 0,02s Treffer weiter einschränken
  1. 1

    An empirical framework for comparing effectiveness of testing and property-based formal analysis. von Bradbury, Jeremy S.

    Veröffentlicht in Software engineering notes.
    Artikel

    An empirical framework for comparing effectiveness of testing and property-based formal analysis.
  2. 2

    Evaluating and tuning a static analysis to find null pointer bugs. von Hovemeyer, David

    Veröffentlicht in Software engineering notes.
    Artikel

    Evaluating and tuning a static analysis to find null pointer bugs.
  3. 3

    Automatic generation of suggestions for program investigation. von Robillard, Martin P.

    Veröffentlicht in Software engineering notes.
    Artikel

    Automatic generation of suggestions for program investigation.
  4. 4

    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.
  5. 5

    Correlation exploitation in error ranking. von Kremenek, Ted

    Veröffentlicht in Software engineering notes.
    Artikel

    Correlation exploitation in error ranking.
  6. 6

    Combining a performance estimation methodology with a hardware von Baghdadi, A.

    Artikel

    Combining a performance estimation methodology with a hardware
  7. 7

    The extended N2 method taking into account higher mode effects in elevation. von Kreslin, Maja

    Artikel

    The extended N2 method taking into account higher mode effects in elevation.
  8. 8

    Conditional Attribute Grammars. von Boyland, John Tang

    Artikel

    Conditional Attribute Grammars.
  9. 9

    Testing static analysis tools using exploitable buffer overflows from open source code. von Zitser, Misha

    Veröffentlicht in Software engineering notes.
    Artikel

    Testing static analysis tools using exploitable buffer overflows from open source code.
  10. 10

    Apportioning a technique for efficient reachability analysis of concurrent object-oriented programs. von Iyer, S.

    Artikel

    Apportioning a technique for efficient reachability analysis of concurrent object-oriented programs.

Suchwerkzeuge: