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
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
Model-based testing -from safety to security, Proceedings of the 9th Workshop on Systems Testing and Validation (STV'12), pp.9-16, 2012. ,
XSS pattern for attack modeling in testing, 2013 8th International Workshop on Automation of Software Test (AST), 2013. ,
DOI : 10.1109/IWAST.2013.6595794
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
Model transformers for test generation from system models, 2006. ,
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
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
AIana, Proceedings of the 1st Workshop on Testing Object-Oriented Systems, ETOOS '10, pp.30-37, 2010. ,
DOI : 10.1145/1890692.1890697
Extending ff to numerical state variables, Proceedings of the 15th European Conference on Artificial Intelligence (ECAI-02, pp.571-575, 2002. ,
Exploiting Software: How to Break Code, 2004. ,
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=10.1.1.56.4429
Automatic testing through planning, Austria, 2005. ,
Strategies to automatically test eiffel programs, Austria, 2004. ,
Teleo-reactive programs for agent control, In: Journal of Artificial Intelligence Research, pp.1-139, 1994. ,
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
Model-Based Security Testing, Proceedings of the Model-Based Testing Workshop at ETAPS 2012, pp.1-12, 2012. ,
DOI : 10.4204/EPTCS.80.1
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. ,
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