Dangos 1 - 10 canlyniadau o 12 ar gyfer chwilio '"Static analysis."', amser ymholiad: 0.02e Mireinio'r Canlyniadau
  1. 1

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

    Erthygl

    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. gan Hovemeyer, David

    Erthygl

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

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

    Erthygl

    Automatic generation of suggestions for program investigation.
  4. 4

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

    Erthygl

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

    Correlation exploitation in error ranking. gan Kremenek, Ted

    Erthygl

    Correlation exploitation in error ranking.
  6. 6

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

    Erthygl

    Combining a performance estimation methodology with a hardware
  7. 7

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

    Erthygl

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

    Conditional Attribute Grammars. gan Boyland, John Tang

    Erthygl

    Conditional Attribute Grammars.
  9. 9

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

    Erthygl

    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. gan Iyer, S.

    Erthygl

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

Offerynnau Chwilio: