Embedded Software System Testing: Automatic Testing Solution Based on Formal MethodEmbedded Software System Testing: Automatic Testing Solution Based on Formal Method
Embedded Software System Testing: Automatic Testing Solution Based on Formal Method
BooksCloudSKU: 9781032488196

Embedded Software System Testing: Automatic Testing Solution Based on Formal Method - Paperback

$122.00
Shipping calculated at checkout.
In stock (50)
Embedded Software System Testing: Automatic Testing Solution Based on Formal Method
Embedded Software System Testing: Automatic Testing Solution Based on Formal Method - Paperback
$122.00
Still deciding?
Logo for GOVX ID, a service used to verify military, first responder, nurse or teachers to qualify them for discounts

Discount available for Military, First Responders, Medical Workers and Teachers

Payment & Security
American Express
Apple Pay
Diners Club
Discover
Google Pay
Mastercard
PayPal
Shop Pay
Venmo
Visa

Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.

Security
Related categories
Arts & Music - VysnArts & Music Automotive - VysnAutomotive Baby & Kids - VysnBaby & Kids Beauty & Body - VysnBeauty & Body Books & Collectibles - VysnBooks & Collectibles Clothing & Fashion - VysnClothing & Fashion Electronics - VysnElectronics Fitness Equipment - VysnFitness Equipment Food & Beverages - VysnFood & Beverages Health & Wellness - VysnHealth & Wellness Home & Garden - VysnHome & Garden Jewelry & Watches - VysnJewelry & Watches Mobility & Accessibility - VysnMobility & Accessibility Office & Work - VysnOffice & Work Pet Supplies - VysnPet Supplies Sports & Outdoor - VysnSports & Outdoor Toys & Games - VysnToys & Games Travel & Luggage - VysnTravel & Luggage
High-Quality MaterialsMade with premium materials for long-lasting use.
Easy to UseSimple design for quick setup and convenience.
Versatile & Multi-PurposePerfect for home, office, or on-the-go.
Satisfaction GuaranteeLove it or return it for a full refund.

by Yongfeng Yin (Author), Bo Jiang (Author)

This book introduces embedded software engineering and management methods, proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems.

Author Biography

Yongfeng Yin is a professor and Vice President at the School of Software, Beihang University, China, and from 2015 to 2016 he was a visiting scholar at Colorado State University, USA. His research interests include critical software, software reliability, and embedded software testing.

Bo Jiang is an associate professor at the School of Computer Science and Engineering, Beihang University, China. His research interests include software testing, blockchain security, and operating system.

Number of Pages: 305
Dimensions: 0.69 x 9.21 x 6.14 IN
Illustrated: Yes
Publication Date: June 27, 2025
Free shipping on all U.S. orders
Easy returns and exchanges
30 day money back guarantee