Showing 131 - 140 results of 242 for search '"Verification."', query time: 0.02s Refine Results
  1. 131

    SOBER statistical model based bug localization. by Liu, Chao

    Article

    SOBER statistical model based bug localization.
  2. 132

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

    Article

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

    Combining self-reported and automatic data to improve programming effort measurement. by Hochstein, Lorin

    Article

    Combining self-reported and automatic data to improve programming effort measurement.
  4. 134

    CHARMY an extensible tool for architectural analysis. by Inverardi, Paola

    Article

    CHARMY an extensible tool for architectural analysis.
  5. 135

    Parameterized unit tests with unit meister. by Tillmann, Nikolai

    Article

    Parameterized unit tests with unit meister.
  6. 136

    Utilizing verification and validation certificates to estimate software defect density. by Sherriff, Mark

    Article

    Utilizing verification and validation certificates to estimate software defect density.
  7. 137

    Usage model-based automated testing of C++ templates. by Sayre, Kirk

    Article

    Usage model-based automated testing of C++ templates.
  8. 138

    Model-based testing for applications derived from software product lines. by Olimpiew, Erika Mir

    Article

    Model-based testing for applications derived from software product lines.
  9. 139

    Requirements traceability in automated test generation application to smart card software validation. by Bouquet, F.

    Article

    Requirements traceability in automated test generation application to smart card software validation.
  10. 140

    Generating optimal distinguishing sequences with a model checker. by Robinson-Mallett, Christopher

    Article

    Generating optimal distinguishing sequences with a model checker.

Search Tools: