@InProceedings{Lunkeit2018,
  author    = {Armin Lunkeit and Ina Schieferdecker},
  booktitle = {2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
  title     = {Model-Based Security Testing - Deriving Test Models from Artefacts of Security Engineering},
  abstract  = {Security-related tests should check and validate in engineering that the functionality derived from the security requirements has been correctly implemented. The design of effective tests for this security functionality requires, in addition to test models, a procedure for obtaining these models from previous artefacts of security engineering. This paper describes such an approach and focuses on the use of the artefacts of previous phases of security engineering for security testing.},
  doi       = {10.1109/ICSTW.2018.00056},
  pages     = {244--251},
  file      = {:2018/Lunkeit2018 - Model Based Security Testing Deriving Test Models from Artefacts of Security Engineering.pdf:PDF},
  keywords  = {program testing;safety-critical software;model-based security testing;security engineering;security requirements;security functionality;Security;Unified modeling language;Testing;Analytical models;Risk analysis;Data models;Software;security engineering;test models;security testing},
  type      = {conference},
  year      = {2018}
}