2 Why We Need Model-Based Testing

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.
IEEE (Institute of Electrical and Electronics Engineers). Standard Glossary of
Software Engineering Terminology, 1983.
R. Iosif. Symmetry reductions for model checking of concurrent dynamic software.
STTT, 6(4):302–319, 2004.
D. Jackson. Software Abstractions: Logic, Language, and Analysis. MIT Press,
2006.
D. Jackson and C. A. Damon. Elements of style: Analyzing a software design feature
with a counterexample detector. IEEE Transactions on Software Engineering,
22(7):484–495, July 1996.
J. Jacky. The Way of Z: Practical Programming with Formal Methods. Cambridge
University Press, 1997.
C. Jard and T. Jéron. TGV: Theory, principles and algorithms. A tool for the
automatic synthesis of conformance test cases for non-deterministic reactive
systems. International Journal on Software Tools for Technology Transfer,
7(4):297–315, 2005.
C. Kaner, H. Q. Nguyen, and J. L. Falk. Testing Computer Software. John Wiley &
Sons, Inc., 1993.
R. Keller. Formal verification of parallel programs. Communications of the ACM,
371–384, July 1976.
L. Lamport. Time, clocks, and the ordering of events in a distributed system.
Communications of the ACM, 21(7):558–565, 1978.
L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and
Software Engineers. Addison-Wesley, 2002.
K. G. Larsen, M. Mikucionis, B. Nielsen, and A. Skou. Testing real-time embedded
software using UPPAAL-TRON: An industrial case study. In EMSOFT ’05:
Proceedings of the 5th ACM International Conference on Embedded Software,
pages 299–306. ACM Press, New York, 2005.
more free ebooks download links at:
http://www.ebook-x.com