2 Why We Need Model-Based Testing

Bibliography 337
D. Lee and M. Yannakakis. Principles and methods of testing finite state machines –
a survey. Proceedings of the IEEE, 84(8):1090–1123, August 1996.
S. Lipschutz. Set Theory and Related Topics, Schaum’s Outline Series. McGraw-
Hill, 1998.
N. Lynch and M. Tuttle. Hierarchical correctness proofs for distributed algorithms.
In Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed
Computing, pages 137–151. ACM Press, New York, 1987.
B. D. McKay. Practical graph isomorphism. Congressus Numerantium, 30:45–87,
1981.
A. Miller, A. Donaldson, and M. Calder. Symmetry in temporal logic model
checking. ACM Computing Surveys, 38(3):8, 2006.
J. S. Miller and S. Ragsdale. The Common Language Infrastructure Annotated
Standard. Addison-Wesley, 2004.
M. Musuvathi and D. L. Dill. An incremental heap canonicalization algorithm. In
P. Godefroid, editor, SPIN, volume 3639 of Lecture Notes in Computer Science,
pages 28–42. Springer, 2005.
G. J. Myers. The Art of Software Testing. John Wiley & Sons, New York, 1979.
G. J. Myers, T. Badgett, T. M. Thomas, and C. Sandler. The Art of Software Testing,
2nd edition. John Wiley & Sons, New York, 2004.
L. Nachmanson, M. Veanes, W. Schulte, N. 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.
more free ebooks download links at:
http://www.ebook-x.com