Visas 1 - 10 av 12 resultat för sökning '"Static analysis."', Sökningstid: 0,02s Förfina resultatet
  1. 1

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

    I publikationen 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. av Hovemeyer, David

    I publikationen Software engineering notes.
    Artikel

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

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

    I publikationen 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. av Li, Zhenmin

    I publikationen 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. av Kremenek, Ted

    I publikationen Software engineering notes.
    Artikel

    Correlation exploitation in error ranking.
  6. 6

    Combining a performance estimation methodology with a hardware av 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. av Kreslin, Maja

    Artikel

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

    Conditional Attribute Grammars. av Boyland, John Tang

    Artikel

    Conditional Attribute Grammars.
  9. 9

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

    I publikationen 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. av Iyer, S.

    Artikel

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

Sökverktyg: