Model based security testing

Read more about this research topic.

Back to research topics

Security testing is a hot topic. Most of the testing is done by hand or scripts. A powerful interesting technique is ‘fuzzing’. Fuzzing or fuzz testing is an automated software testing technique that involves providing invalid, unexpected, or random data as inputs to a computer program. In our toolset we have a test strategy component that is responsible for selecting the input for the system under test. We are interested in model based fuzzing. We expect that fuzzing becomes more powerful if we combine it with our toolset. For clients it would be a valuable extension of our proposition.

We have contacts with several researchers in the field that work on security and/or model based testing. For example, the group of Prof. Dr. Frits Vaandrager of the University of Nijmegen, where there also is the group of Prof. Dr. Bart Jacobs.

Possible research questions:

Expected deliverables: