Résultat(s) 13 301 - 13 310 résultats de 15 297 pour la requête '"Engines."', Temps de recherche: 0,05s Affiner les résultats
  1. 13301

    Relational analysis of algebraic datatypes. par Kuncak, Viktor

    Article

    Relational analysis of algebraic datatypes.
  2. 13302

    Lightweight object specification with typestates. par Bierhoff, Kevin

    Article

    Lightweight object specification with typestates.
  3. 13303

    Joining dataflow with predicates. par Fischer, Jeffrey

    Article

    Joining dataflow with predicates.
  4. 13304

    Parameterized unit tests with unit meister. par Tillman, Nikolai

    Article

    Parameterized unit tests with unit meister.
  5. 13305

    CUTE a concolic unit testing engine for C. par Sen, Koushik

    Article

    CUTE a concolic unit testing engine for C.
  6. 13306

    Online Testing with Model Programs. par Veanes, Margus

    Article

    Online Testing with Model Programs.
  7. 13307

    SOBER statistical model based bug localization. par Liu, Chao

    Article

    SOBER statistical model based bug localization.
  8. 13308

    DynaMine  finding common error patterns by mining software revision histories. par Livshits, Benjamin

    Article

    DynaMine  finding common error patterns by mining software revision histories.
  9. 13309

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

    Article

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

    Reuse and variability in large software applications. par Estublier, Jacky

    Article

    Reuse and variability in large software applications.

Outils de recherche: