The project “MOdel-Based SEcurity Testing In Practice” is focused on model-based testing in the area of security testing. The goal of the project is the development of a methodology for automatic generation and execution of test cases that cover certain security aspects of software components. The project tackles issues to determine a feasible development language, implement the tools for the generation of test cases, execution of the tool in a specific project of one of our partner companies and cooperation on an international level in course of the ITEA 2 DIAMONDS project.

The results generated in this project are of essential economic importance, especially in the automation of security tests, and will take an important role in all of our upcoming projects.

By continuing to use the site, you agree to the use of cookies. more information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.