Lecture Notes in Computer Science 3472

650 Literature
[Vas73] M. P. Vasilevski. Failure diagnosis of automata. Cybernetic, 9(4):653–665,
1973. [101, 108, 593, 599]
[VB01] S. A. Vilkomir and J. P. Bowen. Formalization of software testing criteria
using the Z notation. In Proceedings of the 25th International Computer
Software and Applications Conference (COMPSAC 2001), pages 351–356.
IEEE Computer Society Press, 8–12 October 2001. [297, 298]
[VB02] S. A. Vilkomir and J. P. Bowen. Reinforced condition/decision coverage
(RC/DC): A new criterion for software testing. In D. Bert, J. P. Bowen,
M. Henson, and K. Robinson, editors, Proceedings of the 2nd International
Conference of B and Z Users: Formal Specification and Development in Z
and B (ZB 2002), volume 2272 of Lecture Notes in Computer Science, pages
295–313. Springer-Verlag, 2002. [299]
[VCI90] S. T. Vuong, W. Y. L. Chan, and M. R. Ito. The UIOv-method for protocol
test sequence generation. In Proceedings of the 2nd International Workshop
on Protocol Test Systems (IWPTS 1990), pages 161–176. North-Holland,
1990. [99]
[vG01] Rob J. van Glabbeek. The linear time – branching time spectrum I: The
semantics of concrete, sequential processes. In J. A. Bergstra, A. Ponse, and
S. A. Smolka, editors, Handbook of Process Algebra, pages 3–99. Elsevier
Science Publishers, 2001. [119, 120, 127, 128, 230]
[vGSS95] Rob J. van Glabbeek, Scott A. Smolka, and Bernhard Steffen. Reactive,
generative and stratified models of probabilistic processes. Information and
Computation, 121:59–80, 1995. [240]
[VT01] R. G. de Vries and J. Tretmans. Towards Formal Test Purposes. In
E. Brinksma and J. Tretmans, editors, Proceedings of the 1st International
Workshop on Formal Approaches to Testing of Software (FATES 2001),
number BRICS NS-01-4 in BRICS Notes Series, pages 61–76, 2001. [422,
424]
[WBS02] Joachirn Wegener, André Baresel, and Harrnen Sthamer. Suitability of
evolutionary algorithms for evolutionary testing. In Proceedings of the 26th
IEEE International Computer Software and Applications Conference: Prolonging
Software Life: Development and Redevelopment (COMPSAC 2002),
pages 287–289, Oxford, England, August 2002. IEEE Computer Society
Press. [384]
[Weg01] J. Wegener. Evolutionärer Test des Zeitverhaltens von Realzeit-Systemen.
Dissertation, Humboldt Universität zu Berlin, 2001. [383, 384]
[Wes89] C. H. West. Protocol validation in complex systems. In Proceedings of
the ACM Symposium on Communications Architectures & Protocols (SIG-
COMM 1989), pages 303–312, Austin, TX, September 1989. ACM Press.
[421, 437]
[Wez90] Clazien D. Wezeman. The CO-OP method for compositional derivation
of canonical testers. In E. Brinksma, G. Scollo, and C. A. Vissers, editors,
Proceedings of the 9th International Symposium on Protocol Specification,
Testing and Verification (PSTV 1990), pages 145–158. North-Holland,
1990. [166, 167, 168, 415, 417]
[Wez95] Clazien D. Wezeman. Deriving test from LOTOS specifications. In Tommaso
Bolognesi, Jeroen van de Lagemaat, and Chris Vissers, editors, LO-
TOSphere: Software Development with LOTOS, pages 295–315. Kluwer
Academic, 1995. [415, 417]