H. Ben-abdallah and S. Leue, Syntactic detection of process divergence and nonlocal choice in Message Sequence Charts, 3rd Int. Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS'97, pp.259-274, 1997.

M. Bravetti and A. Aldini, Discrete time generative???reactive probabilistic processes with different advancing speeds, Theoretical Computer Science, vol.290, issue.1, pp.355-406, 2003.
DOI : 10.1016/S0304-3975(01)00344-9

E. Brinksma, L. Heerink, and J. Tretmans, Factorized test generation for multiinput/output transition systems, 11th IFIP Workshop on Testing of Communicating Systems, IWTCS'98, pp.67-82, 1998.

E. Brinksma and J. Tretmans, Testing Transition Systems: An Annotated Bibliography, 4th Summer School on Modeling and Verification of Parallel Processes, MOVEP'00, pp.187-195, 2001.
DOI : 10.1007/3-540-45510-8_9

L. Cheung, M. Stoelinga, and F. Vaandrager, A testing scenario for probabilistic processes, Journal of the ACM, vol.54, issue.6, 2007.
DOI : 10.1145/1314690.1314693

I. Christoff, Testing equivalences and fully abstract models for probabilistic processes, 1st Int. Conf. on Concurrency Theory, CONCUR'90, pp.126-140, 1990.
DOI : 10.1007/BFb0039056

R. Cleaveland, Z. Dayar, S. A. Smolka, and S. Yuen, Testing Preorders for Probabilistic Processes, Information and Computation, vol.154, issue.2, pp.93-148, 1999.
DOI : 10.1006/inco.1999.2808

Y. Deng, R. Van-glabbeek, M. Hennessy, and C. Morgan, Characterising testing preorders for finite probabilistic processes, Logical Methods in Computer Science, vol.4, issue.4, 2008.

L. Frantzen, M. G. Merayo, and M. Núñez, A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008, The Journal of Logic and Algebraic Programming, vol.78, issue.6, pp.417-424, 2009.
DOI : 10.1016/j.jlap.2009.02.010

R. Van-glabbeek, S. A. Smolka, and B. Steffen, Reactive, generative, and stratified models of probabilistic processes, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.59-80, 1995.
DOI : 10.1109/LICS.1990.113740

R. M. Hierons, K. Bogdanov, J. P. Bowen, R. Cleaveland, J. Derrick et al., Using formal methods to support testing, p.41, 2009.

R. M. Hierons and M. G. Merayo, Mutation testing from probabilistic and stochastic finite state machines, Journal of Systems and Software, vol.82, issue.11, pp.1804-1818, 2009.
DOI : 10.1016/j.jss.2009.06.030

R. M. Hierons, M. G. Merayo, and M. Núñez, Controllable Test Cases for the Distributed Test Architecture, 6th Int. Symposium on Automated Technology for Verification and Analysis, ATVA'08, pp.201-215, 2008.
DOI : 10.1007/978-3-540-73066-8_12

R. M. Hierons, M. G. Merayo, and M. Núñez, Implementation Relations for the Distributed Test Architecture, Joint 20th IFIP TC6/WG6.1 Int. Conf. on Testing of Software and Communicating Systems, TestCom'08, and 8th Int. Workshop on Formal Approaches to Software Testing, FATES'08, pp.200-215, 2008.
DOI : 10.1007/978-3-540-73066-8_12

R. M. Hierons, M. G. Merayo, and M. Núñez, Implementation relations and test generation for systems with distributed interfaces, Distributed Computing, vol.21, issue.13, 2010.
DOI : 10.1007/s00446-011-0149-1

R. M. Hierons and H. Ural, The Effect of the Distributed Test Architecture on the Power of Testing, The Computer Journal, vol.51, issue.4, pp.497-510, 2008.
DOI : 10.1093/comjnl/bxm096

K. Larsen and A. Skou, Bisimulation through probabilistic testing, Information and Computation, vol.94, issue.1, pp.1-28, 1991.
DOI : 10.1016/0890-5401(91)90030-6
URL : http://doi.org/10.1016/0890-5401(91)90030-6

D. Lee and M. Yannakakis, Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, vol.84, issue.8, pp.1090-1123, 1996.
DOI : 10.1109/5.533956

N. López, M. Núñez, and I. Rodríguez, Specification, testing and implementation relations for symbolic-probabilistic systems, Theoretical Computer Science, vol.353, issue.1-3, pp.1-3228, 2006.
DOI : 10.1016/j.tcs.2005.10.047

G. Luo, R. Dssouli, and G. Von-bochmann, Generating synchronizable test sequences based on finite state machine with distributed ports, 6th IFIP Workshop on Protocol Test Systems, IWPTS'93, pp.139-153, 1993.

M. Núñez, Algebraic theory of probabilistic processes, The Journal of Logic and Algebraic Programming, vol.56, issue.1-2, pp.117-177, 2003.
DOI : 10.1016/S1567-8326(02)00069-3

A. Petrenko, Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography, 4th Summer School on Modeling and Verification of Parallel Processes, MOVEP'00, pp.196-205, 2001.
DOI : 10.1007/3-540-45510-8_10

O. Rafiq and L. Cacciari, Coordination algorithm for distributed testing, The Journal of Supercomputing, vol.24, issue.2, pp.203-211, 2003.
DOI : 10.1023/A:1021759127956

B. Sarikaya and G. Von-bochmann, Synchronization and Specification Issues in Protocol Testing, IEEE Transactions on Communications, vol.32, issue.4, pp.389-395, 1984.
DOI : 10.1109/TCOM.1984.1096074

R. Segala, Testing probabilistic automata, 7th Int. Conf. on Concurrency Theory, CONCUR'96, pp.299-314, 1996.
DOI : 10.1007/3-540-61604-7_62
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.6403

J. Tretmans, Model Based Testing with Labelled Transition Systems, Formal Methods and Testing, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1

M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach, 2007.

S. Wu, S. A. Smolka, and E. W. Stark, Composition and Behaviors of Probabilistic I/O Automata, Theoretical Computer Science, vol.176, issue.12, pp.1-37, 1997.
DOI : 10.1007/978-3-540-48654-1_37

W. Yi and K. G. Larsen, Testing Probabilistic and Nondeterministic Processes, 12th IFIP/WG6.1 Int. Symposium on Protocol Specification, Testing and Verification , PSTV'92, pp.47-61, 1992.
DOI : 10.1016/B978-0-444-89874-6.50010-6