W. Grieskamp, N. Tillmann, and M. Veanes. Instrumenting scenarios in a
model-driven development environment. Information and Software Technology,
46(15):1027??“1036, 2004.
Y. Gurevich. Evolving algebras 1993: Lipari Guide. In E. B??orger, editor, Specification
and Validation Methods, pages 9??“36. Oxford University Press, 1995.
Y. Gurevich, B. Rossman, and W. Schulte. Semantic essence of AsmL. Theoretical
Computer Science, 343(3):370??“412, 2005.
Y. Gurevich and N. Tillmann. Partial updates. Theoretical Computer Science,
336:311??“342, May 2005.
P. Hamill. Unit Test Frameworks. O??™Reilly, 2004.
336 Bibliography
D. Harel and R. Marelly. Come, Let??™s Play: Scenario-Based Programming Using
LSCs and the Play-Engine. Springer, 2003.
A. Hartman and K. Nagin. The AGEDIS tools for model based testing. In
G. S. Avrunin and G. Rothermel, editors, Proceedings of the ACM/SIGSOFT
International Symposium on Software Testing and Analysis, ISSTA 2004, pages
129??“132. ACM, 2004.
A. Hejlsberg, S. Wiltamuth, and P. Golde. The C# Programming Language, 2nd
edition, Addison-Wesley, 2006.
C. Hertel. Implementing CIFS: The Common Internet File System. Prentice-Hall,
2003.
G. J. Holzmann. The Spin Model Checker: Primer and Reference Manual.
Addison-Wesley, 2004.
J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and
Computation. Addison-Wesley, 1979.
Pages:
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434