Model-Based Testing of Reactive Systems
Freedom Sale ends in11 hrs : 28 mins : 54 secs

Model-Based Testing of Reactive Systems (English, Paperback, unknown)

Share

Model-Based Testing of Reactive Systems  (English, Paperback, unknown)

Be the first to Review this product
₹202/month
36 months EMI Plan with BOBCARD
Special price
₹5,740
9,395
38% off
i
Coupons for you
  • Special PriceGet extra 8% off on 1 item(s) (price inclusive of cashback/coupon)
    T&C
  • Available offers
  • Special PriceGet extra 33% off (price inclusive of cashback/coupon)
    T&C
  • Bank Offer5% cashback on Flipkart Axis Bank Credit Card upto ₹4,000 per statement quarter
    T&C
  • Bank Offer5% cashback on Axis Bank Flipkart Debit Card up to ₹750
    T&C
  • Bank OfferUp To ₹30 Instant Cashback on BHIM Payments App. Min Order Value ₹199. Offer Valid Once Per User
    T&C
  • Delivery
    Check
    Enter pincode
      Delivery by4 Sep, Thursday
      ?
    View Details
    Author
    Read More
    Highlights
    • Language: English
    • Binding: Paperback
    • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • Genre: Computers
    • ISBN: 9783540262787, 9783540262787
    • Pages: 664
    Seller
    AtlanticPublishers
    4
    • 7 Days Replacement Policy
      ?
  • See other sellers
  • Description
    Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems. This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
    Read More
    Specifications
    Book Details
    Imprint
    • Springer-Verlag Berlin and Heidelberg GmbH & Co. K
    Series & Set Details
    Series Name
    • Lecture Notes in Computer Science / Programming and Software Engineering
    Dimensions
    Height
    • 235 mm
    Length
    • 155 mm
    Weight
    • 1021 gr
    Be the first to ask about this product
    Safe and Secure Payments.Easy returns.100% Authentic products.
    You might be interested in
    Psychology Books
    Min. 50% Off
    Shop Now
    Medical And Nursing Books
    Min. 50% Off
    Shop Now
    Finance And Accounting Books
    Min. 50% Off
    Shop Now
    Business And Management Books
    Min. 50% Off
    Shop Now
    Back to top