Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Part III. Model-Based Test Case Generation

  • Chapter
Model-Based Testing of Reactive Systems

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3472))

Abstract

The previous parts of this book have, in general, been concerned with checking models against models. A theoretical underpinning with, among other things, respect to completeness of these approaches has been given.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

  1. Institute for Informatics I4, TU Munich, Boltzmannstr. 3, 85748, Garching, Germany

    Manfred Broy & Martin Leucker

  2. Department of Computer Systems, Uppsala University, Box 337, 751 05, Uppsala, Sweden

    Bengt Jonsson

  3. Department of Computer Science, University of Twente, P.O. Box 271, 7500 AE, Enschede, The Netherlands

    Joost-Pieter Katoen

  4. D-INFK, Information Security, ETH Zurich, Haldeneggsteig 4, 8092, Zürich, Switzerland

    Alexander Pretschner

Authors
  1. Manfred Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bengt Jonsson
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Joost-Pieter Katoen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Martin Leucker
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Alexander Pretschner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität München, Germany

    Manfred Broy

  2. Dept. of Information Technology, P.O. Box 337, S-751 05, Uppsala, Sweden

    Bengt Jonsson

  3. Software Modeling and Verification, RWTH Aachen University, Germany

    Joost-Pieter Katoen

  4. Institute for Informatics I4, TU Munich, Boltzmannstr. 3, 85748, Garching, Germany

    Martin Leucker

  5. Information Security, ETH Zürich, Switzerland

    Alexander Pretschner

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Broy, M., Jonsson, B., Katoen, JP., Leucker, M., Pretschner, A. (2005). Part III. Model-Based Test Case Generation. In: Broy, M., Jonsson, B., Katoen, JP., Leucker, M., Pretschner, A. (eds) Model-Based Testing of Reactive Systems. Lecture Notes in Computer Science, vol 3472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11498490_12

Download citation

  • DOI: https://doi.org/10.1007/11498490_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26278-7

  • Online ISBN: 978-3-540-32037-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation