@InProceedings{Felderer2014a,
  author    = {Michael Felderer and Marc-Florian Wendland and Ina Kathrin Schieferdecker},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications},
  title     = {Risk-Based Testing},
  doi       = {10.1007/978-3-662-45231-8_19},
  isbn      = {978-3-662-45230-1},
  pages     = {274--276},
  publisher = {Springer Science and Business Media},
  subtitle  = {Including a track introduction},
  abstract  = {In many development projects, testing has to be done under severe pressure due to limited resources, a challenging time schedule, and the demand to guarantee security and safety of the released software system. Risk-based testing, which utilizes identified risks of a software system for testing purposes, has a high potential to improve testing in this context. It optimizes the allocation of resources and time, is a means for mitigating risks, helps to early identify critical areas, and provides decision support for the management [1, 2].},
  file      = {:2014/Felderer2014a - Risk Based Testing.pdf:PDF},
  type      = {conference},
  year      = {2014}
}