B. Koch, J. Grabowski, D. Hogrefe, and M. Schmitt, Autolink: A Tool for Automatic Test Generation from SDL Specifications. Industrial-Strength Formal Specification Techniques, 1998.

C. Jard and T. Jéron, TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.297-315, 2005.
DOI : 10.1007/s10009-004-0153-x

Y. L. Traon, T. Mouelhi, and B. Baudry, Testing Security Policies: Going Beyond Functional Testing, The 18th IEEE International Symposium on Software Reliability (ISSRE '07), pp.93-102, 2007.
DOI : 10.1109/ISSRE.2007.27

W. Mallouli, J. M. Orset, A. Cavalli, N. Cuppens, and F. Cuppens, A formal approach for testing security rules, Proceedings of the 12th ACM symposium on Access control models and technologies , SACMAT '07, pp.127-132, 2007.
DOI : 10.1145/1266840.1266860

C. Constant, T. Jéron, H. Marchand, and V. Rusu, Integrating formal verification and conformance testing for reactive systems, IEEE Transactions on Software Engineering, vol.33, issue.8, pp.558-574, 2007.
DOI : 10.1109/TSE.2007.70707
URL : https://hal.archives-ouvertes.fr/inria-00422904

R. Nahm, J. Grabowski, and D. Hogrefe, Test Case Generation for Temporal Properties, 1993.

J. Grabowski, SDL and MSC based test case generation? an overall view of the SAMSTAG method, pp.94-99, 1994.

E. Chang, Z. Manna, and A. Pnueli, Characterization of temporal property classes, In: Automata, Languages and Programming, pp.474-486, 1992.
DOI : 10.1007/3-540-55719-9_97

Y. Falcone, J. C. Fernandez, and L. Mounier, Runtime Verification of Safety-Progress Properties, the 9 th Int. Workshop on Runtime Verification, pp.40-59, 2009.
DOI : 10.1137/0201010
URL : https://hal.archives-ouvertes.fr/hal-00420487

A. Pnueli and A. Zaks, PSL Model Checking and Run-Time Verification Via Testers, FM06: Proceedings of the 14 th Int Symp. on Formal Methods, pp.573-586, 2006.
DOI : 10.1007/11813040_38

Z. Manna and A. Pnueli, A hierarchy of temporal properties, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing , PODC '87, pp.377-410, 1989.
DOI : 10.1145/41840.41857

L. Lamport, Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering, vol.3, issue.2, pp.125-143, 1977.
DOI : 10.1109/TSE.1977.229904

B. Alpern and F. B. Schneider, Defining liveness, Information Processing Letters, vol.21, issue.4, 1984.
DOI : 10.1016/0020-0190(85)90056-0

E. Chang, Z. Manna, and A. Pnueli, The Safety-Progress Classification, 1992.
DOI : 10.1007/978-3-642-58041-3_5

R. S. Streett, Propositional Dynamic Logic of looping and converse, Proceedings of the thirteenth annual ACM symposium on Theory of computing , STOC '81, pp.375-383, 1981.
DOI : 10.1145/800076.802492

Y. Falcone, J. C. Fernandez, and L. Mounier, What can you verify and enforce at runtime?, International Journal on Software Tools for Technology Transfer, vol.3, issue.1, 2010.
DOI : 10.1007/s10009-011-0196-8
URL : https://hal.archives-ouvertes.fr/hal-00497350

A. Bauer, M. Leucker, and C. Schallhart, Comparing LTL Semantics for Runtime Verification, Journal of Logic and Computation, vol.20, issue.3, 2009.
DOI : 10.1093/logcom/exn075

J. Tretmans, Test generation with inputs, outputs, and quiescence, pp.127-146, 1996.
DOI : 10.1007/3-540-61042-1_42
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.9528

R. G. De-vries, Towards formal test purposes. In: FATES'01: Formal Approaches to Testing of Software, pp.61-76, 2001.

P. D. Machado, D. A. Silva, and A. C. Mota, Towards Property Oriented Testing, Electronic Notes in Theoretical Computer Science, vol.184, pp.3-19, 2007.
DOI : 10.1016/j.entcs.2007.06.001
URL : http://doi.org/10.1016/j.entcs.2007.06.001

A. Rajan, M. Whalen, and M. Heimdahl, Model Validation using Automatically Generated Requirements-Based Tests, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), pp.95-104, 2007.
DOI : 10.1109/HASE.2007.57

C. Pecheur, F. Raimondi, and G. Brat, A formal analysis of requirements-based testing, Proceedings of the eighteenth international symposium on Software testing and analysis, ISSTA '09, pp.47-56, 2009.
DOI : 10.1145/1572272.1572279

V. Darmaillacq, J. C. Fernandez, R. Groz, L. Mounier, and J. L. Richier, Test Generation for Network Security Rules, pp.341-356, 2006.
DOI : 10.1007/11754008_22

Y. Falcone, J. C. Fernandez, L. Mounier, and J. L. Richier, A Compositional Testing Framework Driven by Partial Specifications, In: TestCom/FATES, pp.107-122, 2007.
DOI : 10.1007/978-3-540-73066-8_8
URL : https://hal.archives-ouvertes.fr/hal-00346059