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.
Model-Based Testing of Reactive Systems: Advanced Lectures
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for Students. Learn more |
| |||||||||||||||
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
Contemporary theories of learning stress that learning requires the development of active experiences in authentic contexts. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
provider descriptor, proceduralized context, contextual graph, impromptu coordination, symbol string data, probe games, contextual information system, mobile phone talk, baseline annotations, simple body actions, epistemological contextualism, pointwise equivalent, different game types, epistemic attention, robust utilization, simulated phone calls, current task context, mobile coordination, demonstrative identification, local model semantics, provider kind, pure indexical, multimodal dialogue systems, decision trajectory, communicative stimuli Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer-Verlag Berlin Heidelberg, New York, Cambridge University Press, Lecture Notes, Oxford University Press, Context-Management System, Springer Verlag, Exploiting Rich Context, Harvard University Press, Behavior Networks, Context-Aware Adaptation, Descriptive Naming of Context Data Providers, Effect of the Task, Functional Model of Criminality, Improving Cell Phone Awareness, Mobile Collector, Psychological Review, Simulation Study, American English, Context-Oriented Image Retrieval, Identifying the Interaction Context, Investigation of Context Effects, Iterated Prisoner's Dilemma Game, Making Contextual Intensional Logic Nonmonotonic, Modelling the Context of Learning Interactions New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Contemporary theories of learning stress that learning requires the development of active experiences in authentic contexts. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
provider descriptor, proceduralized context, contextual graph, impromptu coordination, symbol string data, probe games, contextual information system, mobile phone talk, baseline annotations, simple body actions, epistemological contextualism, pointwise equivalent, different game types, epistemic attention, robust utilization, simulated phone calls, current task context, mobile coordination, demonstrative identification, local model semantics, provider kind, pure indexical, multimodal dialogue systems, decision trajectory, communicative stimuli Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer-Verlag Berlin Heidelberg, New York, Cambridge University Press, Lecture Notes, Oxford University Press, Context-Management System, Springer Verlag, Exploiting Rich Context, Harvard University Press, Behavior Networks, Context-Aware Adaptation, Descriptive Naming of Context Data Providers, Effect of the Task, Functional Model of Criminality, Improving Cell Phone Awareness, Mobile Collector, Psychological Review, Simulation Study, American English, Context-Oriented Image Retrieval, Identifying the Interaction Context, Investigation of Context Effects, Iterated Prisoner's Dilemma Game, Making Contextual Intensional Logic Nonmonotonic, Modelling the Context of Learning Interactions New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 100
books:
See all 100 books this book cites
- Human-Computer Interaction (3rd Edition) by Alan Dix on page 474, page 488, and page 568
- Themes from Kaplan by Joseph Almog on page 53, page 81, and page 448
- Logic and Knowledge: Essays, 1901 to 1950 on page 80, and page 409
- Situations and Attitudes by Jon Barwise on page 14, and page 500
- Human Problem Solving by Allen Newell on page 39
See all 100 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering > Methodology
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Testing
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > UML
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
