Search Results - "Program verification."

Refine Results
  1. 41

    Engineering distributed software a structural discipline. by Kramer, Jeff

    Article


    Cover Image
  2. 42

    Symbolic path simulation in path-sensitive dataflow analysis. by Hampapuram, Hari

    Article


    Cover Image
  3. 43

    Review of "Working effectively with legacy code by Michael Feathers". by Berzal, Fernando

    Article


    Cover Image
  4. 44

    Component-interaction automata as a verification-oriented component-based system specification. by Brim, Lubo?

    Article


    Cover Image
  5. 45

    Review of "System Testing with an Attitude An Approach That Nurtures Front-Loaded (Designed and built in. . . not tested in!) Software Quality. by Saur, Joe

    Article


    Cover Image
  6. 46

    Joining dataflow with predicates. by Fischer, Jeffrey

    Article


    Cover Image
  7. 47

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

    Article


    Cover Image
  8. 48

    Deadlock detection in distribution object systems. by Kaveh, Nima

    Article


    Cover Image
  9. 49

    Interval arithmetic From principles to implementation. by Hickey, T.

    Published in Journal of the ACM
    Article


    Cover Image
  10. 50

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

    Article


    Cover Image

Search Tools: