Mostra 1 - 10 risultati di 12 ricerca '"Static analysis."', tempo di risposta: 0,02s Raffina i risultati
  1. 1

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

    Articolo

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

    Articolo

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

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

    Articolo

    Automatic generation of suggestions for program investigation.
  4. 4

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

    Articolo

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

    Correlation exploitation in error ranking. di Kremenek, Ted

    Articolo

    Correlation exploitation in error ranking.
  6. 6

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

    Articolo

    Combining a performance estimation methodology with a hardware
  7. 7

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

    Articolo

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

    Conditional Attribute Grammars. di Boyland, John Tang

    Articolo

    Conditional Attribute Grammars.
  9. 9

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

    Articolo

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

    Articolo

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

Strumenti per la ricerca: