2 Why We Need Model-Based Testing

Bibliography 335
E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999.
D. E. Comer. Internetworking with TCP/IP, Principles, Protocols, and Architectures,
4th edition. Prentice-Hall, 2000.
J. Davies and J. Woodcock. Using Z: Specification, Refinement, and Proof.
Prentice-Hall, 1996.
L. de Alfaro. Game models for open systems. In N. Dershowitz, editor, Verification:
Theory and Practice. Essays Dedicated to Zohar Manna on the Occasion of
His 64th Birthday, volume 2772 of Lecture Notes in Computer Science, pages
269–289. Springer, 2004.
L. de Alfaro and T. A. Henzinger. Interface automata. In Proceedings of the 8th
European Software Engineering Conference / 9th ACM SIGSOFT International
Symposium on Foundations of Software Engineering, volume 26(5) of ACM
SIGSOFT Software Engineering Notes, pages 109–120. ACM Press, 2001.
R. Douence, P. Fradet, and M. Südholt. Aspect-Oriented Software Development.
Addison-Wesley, September 2004.
T. Elrad, M. Aksit, G. Kiczales, K. Lieberherr, and H. Ossher. Discussing aspects
of AOP. Communications of the ACM, 44(10):33–38, 2001.
J. Filar and K. Vrieze. Competitive Markov Decision Processes. Springer-Verlag,
New York, 1996.
J. Fitzgerald and P. G. Larsen. Modelling Systems: Practical Tools and Techniques
for Software Development. Cambridge University Press, 1998.
FSE. Foundations of Software Engineering, 2006. URL: http://research.
microsoft.com/fse/.
W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. Generating finite state
machines from abstract state machines. In P. G. Frankl, editor, Proceedings of
the ACM SIGSOFT 2002 International Symposium on Software Testing and
Analysis (ISSTA-02), volume 27 of Software Engineering Notes, pages 112–122.
ACM, 2002.
W. Grieskamp, N. Kicillof, and N. Tillmann. Action machines: A framework for
encoding and composing partial behaviors. International Journal on Software
and Knowledge Engineering, 16(5):705–726, 2006.
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örger, 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.
more free ebooks download links at:
http://www.ebook-x.com