Testing concurrent systems: A formal approach. In J. C. M. Baeten and
S. Mauw, editors, CONCUR ??™99, volume 1664 of Lecture Notes in Computer
Science, pages 46??“65. Springer, 1999.
J. Tretmans and A. Belinfante. Automatic testing with formal methods. In Euro
STAR??™99: 7th European International Conference on Software Testing, Analysis
and Review, Barcelona, Spain, November 8??“12, 1999. EuroStar Conferences,
Galway, Ireland.
J. Tretmans and E. Brinksma. TorX: Automated model based testing. In 1st
European Conference on Model Driven Software Engineering, Nuremberg,
Germany, pages 31??“43, December 2003.
J. R. Ullmann. An algorithm for subgraph isomorphism. Journal of the ACM,
23(1):31??“42, 1976.
M. Utting and B. Legeard. Practical Model-Based Testing: A Tools Approach.
Morgan Kaufmann, 2006.
M. van der Bijl, A. Rensink, and J. Tretmans. Compositional testing with IOCO.
In A. Petrenko and A. Ulrich, editors, Formal Approaches to Software Testing:
Third International Workshop, FATES 2003, volume 2931 of Lecture Notes in
Computer Science, pages 86??“100. Springer, 2004.
M. Veanes, C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, and N.
Tillmann. Model-based testing of object-oriented reactive systems with Spec
Explorer. In: R. Hierons, J. P. Bowen, and M. Harman, editors, Formal Methods
and Testing, Springer, in press.
M. Veanes, C. Campbell, and W.
Pages:
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438