Lecture Notes in Computer Science 3472

Literature
[AB99] Paul Ammann and Paul E. Black. A specification-based coverage metric
to evaluate test sets. In Proceedings of the 4th IEEE International
Symposium on High-Assurance Systems Engineering (HASE 1999), pages
239–248. IEEE Computer Society Press, 1999. [352]
[ABM98] Paul Ammann, Paul E. Black, and William Majurski. Using model checking
to generate tests from specifications. In Proceedings of the 2nd IEEE
International Conference on Formal Engineering Methods (ICFEM 1998),
pages 46–54. IEEE Computer Society Press, 1998. [352]
[Abr87] Samson Abramsky. Observation equivalence as a testing equivalence. Theoretical
Computer Science, 53:225–241, 1987. [120, 123, 124, 126, 129, 131,
132]
[Abr96] J-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge
University Press, 1996. [343]
[ACH + 95] R. Alur, C. Courcoubetis, T. Henzinger, P. Ho, X. Nicollin, A. Olivero,
J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical
Computer Science, 138:3–34, 1995. A preliminary version appeared in
Guy Cohen, editor, Proceedings of 11th International Conference on Analysis
and Optimization of Systems (ICAOS 1994): Discrete Event Systems,
volume 199 of Lecture Notes in Control and Information Science, pages
331–351. Springer-Verlag, 1994. [375]
[AD94] Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical
Computer Science, 126(2):183–235, 1994. [201, 203, 204, 205, 212, 216, 360,
367, 371]
[ADE + 01] R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivančić, V. Kumar,
I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical hybrid modeling
of embedded systems. In T. A. Henzinger and C. M. Kirsch, editors,
Proceedings of the 1st International Workshop on Embedded Software (EM-
SOFT 2001), volume 2211, pages 14–31. Springer-Verlag, 2001. [375, 376]
[ADE + 03] R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivančić, V. Kumar, I. Lee,
P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical hybrid modeling and
analysis of embedded systems. Proceedings of the IEEE, 91(1):11–28, January
2003. [375, 376]
[ADG + 03] C. Artho, D. Drusinsky, A. Goldberg, K. Havelund, M. Lowry, C. Pasareanu,
G. Ro¸su, and W. Visser. Experiments with test case generation and
run-time analysis. In E. Börger, A. Gargantini, and E. Riccobene, editors,
Proceedings of the 10th International Workshop on Abstract State Machines
(ASM 2003), volume 2589 of Lecture Notes in Computer Science, pages 87–
107, Taormina, Italy, 2003. Springer-Verlag. Invited paper. [552, 553]
[ADLU91] A. Aho, A. Dahbura, D. Lee, and Ü. Uyar. An optimization technique for
protocol conformance test generation based on uio sequences and rural chinese
postman tours. IEEE Transactions on Communications, 39(11):1604–
1615, November 1991. [70, 72, 101, 104]