Näytetään 581 - 590 yhteensä 796 tuloksesta haulle '"Reliability."', hakuaika: 0,02s Tarkenna hakua
  1. 581

    Permissive interfaces. Tekijä Henzinger, Thomas A.

    Artikkeli

    Permissive interfaces.
  2. 582

    Applying classification techniques to remotely-collected program execution data. Tekijä Haran, Murali

    Artikkeli

    Applying classification techniques to remotely-collected program execution data.
  3. 583

    Facilitating software evolution research with kenyon. Tekijä Bevan, Jennifer

    Artikkeli

    Facilitating software evolution research with kenyon.
  4. 584

    Matching execution histories of program versions. Tekijä Zhang, Xiangyu

    Artikkeli

    Matching execution histories of program versions.
  5. 585

    Matching execution histories of program versions. Tekijä Zhang, Xiangyu

    Artikkeli

    Matching execution histories of program versions.
  6. 586

    Relational analysis of algebraic datatypes. Tekijä Kuncak, Viktor

    Artikkeli

    Relational analysis of algebraic datatypes.
  7. 587

    Lightweight object specification with typestates. Tekijä Bierhoff, Kevin

    Artikkeli

    Lightweight object specification with typestates.
  8. 588

    Joining dataflow with predicates. Tekijä Fischer, Jeffrey

    Artikkeli

    Joining dataflow with predicates.
  9. 589

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

    Artikkeli

    CUTE a concolic unit testing engine for C.
  10. 590

    Online Testing with Model Programs. Tekijä Veanes, Margus

    Artikkeli

    Online Testing with Model Programs.

Työkalut: