In EMSOFT ??™05:
Proceedings of the 5th ACM International Conference on Embedded Software,
pages 299??“306. ACM Press, New York, 2005.
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.
Pages:
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436