Отображение 1 - 10 результаты of 12 для поиска '"Static analysis."', время запроса: 0.02сек. Отмена результатов
  1. 1

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

    Опубликовано в: Software engineering notes.
    Статья

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

    Опубликовано в: Software engineering notes.
    Статья

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

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

    Опубликовано в: Software engineering notes.
    Статья

    Automatic generation of suggestions for program investigation.
  4. 4

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

    Опубликовано в: Software engineering notes.
    Статья

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

    Correlation exploitation in error ranking. по Kremenek, Ted

    Опубликовано в: Software engineering notes.
    Статья

    Correlation exploitation in error ranking.
  6. 6

    Combining a performance estimation methodology with a hardware по Baghdadi, A.

    Опубликовано в: IEEE Transactions on software engineering
    Статья

    Combining a performance estimation methodology with a hardware
  7. 7

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

    Опубликовано в: Earthquake engineering & structural dynamics.
    Статья

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

    Conditional Attribute Grammars. по Boyland, John Tang

    Статья

    Conditional Attribute Grammars.
  9. 9

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

    Опубликовано в: Software engineering notes.
    Статья

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

    Опубликовано в: IEEE Transactions on software engineering
    Статья

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

Инструменты поиска: