يعرض 1 - 10 نتائج من 12 نتيجة بحث عن '"Static analysis."', وقت الاستعلام: 0.02s تنقيح النتائج
  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.

أدوات البحث: