A. Armando, L. Compagna, and P. Ganty, SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis, Proceedings of the 12th International Symposium of Formal Methods Europe (FME), LNCS 2805, pp.875-893, 2003.
DOI : 10.1007/978-3-540-45236-2_47

A. Blome, M. Ochoa, K. Li, M. Peroli, and M. T. Dashti, VERA: A Flexible Model-Based Vulnerability Testing Tool, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, 2013.
DOI : 10.1109/ICST.2013.65

J. Bozic and F. Wotawa, Model-based testing -from safety to security, Proceedings of the 9th Workshop on Systems Testing and Validation (STV'12), pp.9-16, 2012.

J. Bozic and F. Wotawa, XSS pattern for attack modeling in testing, 2013 8th International Workshop on Automation of Software Test (AST), 2013.
DOI : 10.1109/IWAST.2013.6595794

J. Bozic and F. Wotawa, Security Testing Based on Attack Patterns, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops, 2014.
DOI : 10.1109/ICSTW.2014.58

M. Busch, R. Chaparadza, Z. R. Dai, A. Hoffmann, L. Lacmene et al., Model transformers for test generation from system models, 2006.

R. E. Fikes and N. J. Nilsson, Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, vol.2, issue.3-4, pp.189-208, 1971.
DOI : 10.1016/0004-3702(71)90010-5

P. Froehlich and J. Link, Automated Test Case Generation from Dynamic Models, Proceedings of the 14th European Conference on Object-Oriented Programming, pp.472-491, 2000.
DOI : 10.1007/3-540-45102-1_23

S. J. Galler, C. Zehentner, and F. Wotawa, AIana, Proceedings of the 1st Workshop on Testing Object-Oriented Systems, ETOOS '10, pp.30-37, 2010.
DOI : 10.1145/1890692.1890697

J. Hoffmann, Extending ff to numerical state variables, Proceedings of the 15th European Conference on Artificial Intelligence (ECAI-02, pp.571-575, 2002.

G. Hoglund and G. Mcgraw, Exploiting Software: How to Break Code, 2004.

A. E. Howe, A. Von-mayrhauser, and R. T. Mraz, Test Case Generation as an AI Planning Problem, In: Automated Software Engineering, pp.4-77, 1997.
DOI : 10.1007/978-0-585-34714-1_5

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Leitner and R. Bloem, Automatic testing through planning, Austria, 2005.

A. Leitner, Strategies to automatically test eiffel programs, Austria, 2004.

N. J. Nilsson, Teleo-reactive programs for agent control, In: Journal of Artificial Intelligence Research, pp.1-139, 1994.

M. Scheetz, A. Von-mayrhauser, R. France, E. Dahlman, and A. E. Howe, Generating test cases from an OO model with an AI planning system, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443), pp.250-259, 1999.
DOI : 10.1109/ISSRE.1999.809330

I. Schieferdecker, J. Grossmann, and M. Schneider, Model-Based Security Testing, Proceedings of the Model-Based Testing Workshop at ETAPS 2012, pp.1-12, 2012.
DOI : 10.4204/EPTCS.80.1

M. Schnelte and B. Güldali, Test case generation for visual contracts using ai planning, INFORMATIK 2010, Beitr.ge der 40. Jahrestagung der Gesellschaft fuer Informatik e.V. (GI), pp.369-374, 2010.

J. Zander, Z. R. Dai, I. Schieferdecker, and G. Din, From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -, Testing of Communicating Systems, pp.17-23
DOI : 10.1007/3-540-44830-6_7