Risultati della ricerca - "Model checking."

Raffina i risultati
  1. 11

    Fluent temporal logic for discrete-time event-based models. di Letier, Emmanuel

    Articolo


    Copertina
  2. 12

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

    Articolo


    Copertina
  3. 13

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

    Articolo


    Copertina
  4. 14

    Reasoning about confidentiality at requirements engineering time. di De Landtsheer, Renaud

    Articolo


    Copertina
  5. 15

    Joining dataflow with predicates. di Fischer, Jeffrey

    Articolo


    Copertina
  6. 16

    Case studies on fault detection effectiveness of model based test generation techniques. di Paradkar, Amit

    Articolo


    Copertina
  7. 17

    Deadlock detection in distribution object systems. di Kaveh, Nima

    Articolo


    Copertina
  8. 18

    Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report. di Lakey, Peter B.

    Articolo


    Copertina
  9. 19

    Modeling for image processing system validation, verification and testing. di Li, Xing

    Articolo


    Copertina
  10. 20

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

    Articolo


    Copertina

Strumenti per la ricerca: