Showing 1 - 10 results of 12 for search '"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

    में प्रकाशित ACM transactions on programming languages and systems.
    लेख

    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.

खोज साधन: