Publisher Denise E. M. Penrose
Publishing Services Manager George Morrison
Assistant Editor Mary E. James
Project Manager Marilyn E. Rash
Cover Design Yvo Design
Composition and Illustrations VTeX
Copyeditor Joan M. Flaherty
Proofreader Carol Leyba
Indexer Te d L a ux
Interior printer Sheridan Books
Cover printer Phoenix Color Corp.
Morgan Kaufmann Publishers is an imprint of Elsevier.
500 Sansome Street, Suite 400, San Francisco, CA 94111
This book is printed on acid-free paper.
© 2007 by Elsevier Inc. All rights reserved.
Designations used by companies to distinguish their products are often claimed as trademarks or
registered trademarks. In all instances in which Morgan Kaufmann Publishers is aware of a claim,
the product names appear in initial capital or all capital letters. Readers, however, should contact
the appropriate companies for more complete information regarding trademarks and registration.
No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any
form or by any means—electronic, mechanical, photocopying, scanning, or otherwise—without
prior written permission of the publisher.
Permissions may be sought directly from Elsevier’s Science & Technology Rights Department in
Oxford, UK: phone: (+44) 1865 843830, fax: (+44) 1865 853333, E-mail: permissions@elsevier.com.
You may also complete your request on-line via the Elsevier homepage http://elsevier.com, by select-
ing “Support & Contact” then “Copyright and Permission” and then “Obtaining Permissions.”
Library of Congress Cataloging-in-Publication Data
Utting, Mark.
Practical model-based testing : a tools approach / Mark Utting,
Bruno Legeard.
p. cm.
Includes bibliographical references and index.
ISBN-13: 978-0-12-372501-1 (alk. paper)
ISBN-10: 0-12-372501-1 (alk. paper)
1. Computer software—Testing. 2. Computer software—Testing—
Automation. I. Legeard, Bruno. II. Title.
QA76.76.T48U98 2006
005.3028’7–dc22 2006034511
ISBN 13: 978-0-12-372501-1
ISBN 10: 0-12-372501-1
For information on all Morgan Kaufmann publications, visit our
Web site at www.mkp.com or www.books.elsevier.com
Printed in the United States of America
0607080910 54321
