Security Vulnerabilities Tests Generation from SysML and Event-B Models for EMV Cards

Provided by: Science & Engineering Research Support soCiety (SERSC)
Topic: Security
Format: PDF
The Model Based Testing (MBT) is an original approach where test cases are automatically generated from the specifications of the system under tests. These specifications take the form of a behavioral model allowing the test generator to determine, on the one hand, the possible and relevant execution contexts. On the other hand, to predict the effects of these executions on the system. This paper proposes new methodology to generate vulnerability test cases based on SysML model of Europay-Mastercard and Visa (EMV) specifications.

Find By Topic