Grieskamp and C. Weise, editors, FATES, volume 3997 of Lecture Notes in
Computer Science, pages 32??“46. Springer, 2005.
E. B??orger and R. St??ark. Abstract State Machines: A Method for High-Level System
Design and Analysis. Springer, 2003.
C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated testing based on Java
predicates. SIGSOFT Software Engineering Notes, 27(4):123??“133, 2002.
E. Brinksma and J. Tretmans. Testing transition systems: An annotated bibliography.
In Summer School MOVEP??™2k ??“ Modelling and Verification of Parallel
Processes, volume 2067 of Lecture Notes in Computer Science, pages 187??“193.
Springer, 2001.
M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, and A. Pretschner, editors.
Model-Based Testing of Reactive Systems, volume 3472 of Lecture Notes in
Computer Science. Springer, 2005.
C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and
M. Veanes. Testing concurrent object-oriented systems with Spec Explorer
(extended abstract). In FM 2005: Formal Methods, volume 3582 of Lecture
Notes in Computer Science, pages 542??“547. Springer, 2005a.
C. Campbell and M. Veanes. State exploration with multiple state groupings.
In D. Beauquier, E. B??orger, and A. Slissenko, editors, 12th International
Workshop on Abstract State Machines, ASM??™05, March 8??“11, 2005, Laboratory
of Algorithms, Complexity and Logic, University Paris 12 ??“ Val de Marne,
Cr??eteil, France, pages 119??“130, 2005.
Pages:
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431