F. B. Bowen-alpern and . Schneider, Defining liveness, Information Processing Letters, vol.21, issue.4, pp.181-185, 1985.
DOI : 10.1016/0020-0190(85)90056-0

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

I. Cerná and R. Pelánek, Relating Hierarchy of Temporal Properties to Model Checking, MFCS 2003: Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, pp.318-327, 2003.
DOI : 10.1007/978-3-540-45138-9_26

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

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

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

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

V. Darmaillacq, J. Richier, and R. Groz, Test generation and execution for security rules in temporal logic, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, pp.252-259, 2008.
DOI : 10.1109/ICSTW.2008.41

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

E. and A. Emerson, Temporal and Modal Logic, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp.995-1072, 1990.
DOI : 10.1016/B978-0-444-88074-1.50021-4

J. Ylì-es-falcone, T. Fernandez, H. Jéron, L. Marchand, and . Mounier, More Testable Properties, ICTSS, pp.30-46, 2010.
DOI : 10.1007/978-3-642-16573-3_4

J. Ylì-es-falcone, L. Fernandez, and . Mounier, Runtime Verification of Safety-Progress Properties, the 9th Int. Workshop on Runtime Verification, pp.40-59, 2009.
DOI : 10.1137/0201010

J. Ylì-es-falcone, L. Fernandez, and . Mounier, What can you verify and enforce at runtime? Software Tools for Technology Transfer, 2011.

J. Ylì-es-falcone, L. Fernandez, J. Mounier, and . Richier, A Test Calculus Framework Applied to Network Security Policies, Lecture Notes in Computer Science, vol.4262, pp.55-69, 2006.
DOI : 10.1007/11940197_4

J. Ylì-es-falcone, L. Fernandez, J. Mounier, and . Richier, A Compositional Testing Framework Driven by Partial Specifications

J. Fernandez, L. Mounier, and C. Pachon, Property Oriented Test Case Generation, Lecture Notes in Computer Science, vol.2931, pp.147-163, 2003.
DOI : 10.1007/978-3-540-24617-6_11

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

C. Jard and T. Jéron, TGV: theory, principles and algorithms. Software Tools for Technology Transfer, pp.297-315, 2005.
DOI : 10.1007/s10009-004-0153-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4262

B. Koch, J. Grabowski, D. Hogrefe, M. Schmitt, and I. , Autolink-a tool for automatic test generation from SDL specifications, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, p.114, 1998.
DOI : 10.1109/WIFT.1998.766305

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

D. L. Patricia, D. A. Machado, A. C. Silva, and . Mota, Towards property oriented testing, Proceedings of the Second Brazilian Symposium on Formal Methods (SBMF 2005), pp.3-19, 2007.

W. Mallouli, J. 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

Z. Manna and A. Pnueli, A Hierarchy of Temporal Properties (invited paper, PODC'90: Proceedings of the 9th symposium on Principles Of Distributed Computing, pp.377-410, 1989.

H. Marchand, J. Dubreil, and T. Jéron, Automatic Testing of Access Control for Security Properties, TestCom/FATES'09, pp.113-128, 2009.
DOI : 10.1007/3-540-48320-9_6
URL : https://hal.archives-ouvertes.fr/inria-00420424

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

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

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

A. Rajan, M. W. Whalen, and M. R. 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

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. Le-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

J. Tretmans, A formal approach to conformance testing Protocol Test Systems, volume C-19 of IFIP Transactions, pp.257-276, 1993.

J. Tretmans, Test generation with inputs, outputs, and quiescence, TACAS, pp.127-146, 1996.
DOI : 10.1007/3-540-61042-1_42