Tillmann, and W. Grieskamp. Optimal
strategies for testing nondeterministic systems. In ISSTA??™04, pages 55??“64, 2004.
D. Peled. Software Reliability Methods. Springer, 2001.
R. M. Poston. Automating Specification-Based Software Testing. IEEE Computer
Society Press, 1996.
M. L. Puterman. Markov Decision Processes: Discrete Stochastic Dynamic
Programming. Wiley-Interscience, New York, 1994.
J. B. Rainsberger. JUnit Recipes. Manning Publications Co., 2005.
S. Reiff-Marganiec and M.D. Ryan, editors. Feature Interactions in Telecommunications
and Software Systems VIII. IOS Press, June 2005.
M. Robby, B. Dwyer, and J. Hatcliff. Domain-specific model checking using the
Bogor framework. In ASE ??™06: Proceedings of the 21st IEEE International
Conference on Automated Software Engineering (ASE??™06), pages 369??“370.
IEEE Computer Society, Washington, DC, 2006.
Spec Explorer, 2006. URL: http://research.microsoft.com/
specexplorer, released January 2005, updated release September 2006.
M. Spivey. The Z Notation: A Reference Manual, 2nd edition, Prentice-Hall, 1992.
W. R. Stevens. Unix Network Programming. Addison-Wesley, 1990.
D. Stutz, T. Neward, and G. Shilling. Shared Source CLI Essentials. O??™Reilly,
March 2003.
H. Thimbleby. The directed Chinese postman problem. Software Practice and
Experience, 33(11):1081??“1096, 2003.
338 Bibliography
J. Tretmans.
Pages:
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437