Y. Afek, G. Brown, and M. Meritt, Lazy caching, ACM Transactions on Programming Languages and Systems, vol.15, issue.1, pp.182-205, 1993.
DOI : 10.1145/151646.151651

S. Agerholm and P. G. Larsen, The IFAD VDM Tools, Proc. of FM-Trends'98, pp.326-329, 1998.
DOI : 10.1007/3-540-48257-1_22

P. Ammann, J. Offutt, and W. Xu, Coverage Criteria for State Based Specifications , Formal Methods and Testing, 2008.

D. Amyot and L. Logrippo, Structural Coverage for LOTOS -a Probe Insertion Technique, Proc. of TestCom'00, pp.19-34, 2000.

F. Boyer, O. Gruber, and G. Salaün, Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS??NT and CADP, Proc. of FM'11, pp.103-117, 2011.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/hal-00648909

X. Cai and M. R. Lyu, Software Reliability Modeling with Test Coverage: Experimentation and Measurement with A Fault-Tolerant Software Project, The 18th IEEE International Symposium on Software Reliability (ISSRE '07), pp.17-26, 2007.
DOI : 10.1109/ISSRE.2007.17

M. A. Cornejo, H. Garavel, R. Mateescu, and N. D. Palma, Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-based Applications
DOI : 10.1007/0-306-47005-5_20
URL : https://hal.archives-ouvertes.fr/inria-00072397

X. Etchevers, T. Coupaye, F. Boyer, N. D. Palma, and G. Salaün, Automated Configuration of Legacy Applications in the Cloud, 2011 Fourth IEEE International Conference on Utility and Cloud Computing, pp.170-177, 2011.
DOI : 10.1109/UCC.2011.32
URL : https://hal.archives-ouvertes.fr/hal-00665592

X. Etchevers, G. Salaün, F. Boyer, T. Coupaye, and N. Palma, Reliable Selfdeployment of Cloud Applications, Proc. of SAC'14, pp.1331-1338, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00934042

H. Evrard and F. Lang, Formal Verification of Distributed Branching Multiway Synchronization Protocols, Proc. of FORTE'13, pp.146-160, 2013.
DOI : 10.1007/978-3-642-38592-6_11
URL : https://hal.archives-ouvertes.fr/hal-00818788

G. Fraser, M. Weiglhofer, and F. Wotawa, Coverage Based Testing with Test Purposes, 2008 The Eighth International Conference on Quality Software, pp.199-208, 2008.
DOI : 10.1109/QSIC.2008.41

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of TACAS'11, pp.372-387, 2011.
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776

A. Gargantini and C. Heitmeyer, Using Model Checking to Generate Tests from Requirements Specifications, Proc. of ESEC/FSE'99, pp.146-162, 1999.

A. Gargantini and E. Riccobene, ASM-Based Testing: Coverage Criteria and Automatic Test Sequence, Journal of Universal Computer Science, vol.7, issue.11, pp.1050-1067, 2001.

R. Gopinath, C. Jensen, and A. Groce, Code coverage for suite evaluation by developers, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, 2014.
DOI : 10.1145/2568225.2568278

R. Guillemot and L. Logrippo, Derivation of Useful Execution Trees from LOTOS Specifications by using an Interpreter, Proc. of FORTE'88, pp.311-325, 1988.

C. L. Heitmeyer, J. Kirby, B. G. Labaw, M. Archer, and R. Bharadwaj, Using abstraction and model checking to detect safety violations in requirements specifications, IEEE Transactions on Software Engineering, vol.24, issue.11, pp.927-948, 1998.
DOI : 10.1109/32.730543

I. Iec, Enhancements to LOTOS (E-LOTOS) International Standard 15437 : 2001, International Organization for Standardization ? Information Technology

R. Milner, Communication and Concurrency, 1989.

G. J. Myers, The Art of Software Testing, Second Edition, 2004.

R. , D. Nicola, and F. Vaandrager, Three Logics for Branching Bisimulation, J. ACM, vol.42, issue.2, pp.458-487, 1995.

P. Piwowarski, M. Ohba, and J. Caruso, Coverage measurement experience during function test, Proceedings of 1993 15th International Conference on Software Engineering, pp.287-301, 1993.
DOI : 10.1109/ICSE.1993.346035

G. Salaün, X. Etchevers, N. Palma, F. Boyer, and T. Coupaye, Verification of a Self-configuration Protocol for Distributed Applications in the Cloud, Proc. of SAC'12, pp.1278-1283, 2012.