Showing 1 - 10 results of 12 for search '"Static analysis."', זמן שאילתה: 0.02s Refine Results
  1. 1

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

    הוצא לאור ב Software engineering notes.
    Article

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

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

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

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

    Correlation exploitation in error ranking.
  6. 6

    Combining a performance estimation methodology with a hardware מאת Baghdadi, A.

    Article

    Combining a performance estimation methodology with a hardware
  7. 7

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

    Article

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

    Conditional Attribute Grammars. מאת Boyland, John Tang

    Article

    Conditional Attribute Grammars.
  9. 9

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

    הוצא לאור ב Software engineering notes.
    Article

    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.

    Article

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

כלי חיפוש: