@inproceedings{wotawa:hal-01405274,
  TITLE = {{Plan It! Automated Security Testing Based on Planning}},
  AUTHOR = {Wotawa, Franz and Bozic, Josip},
  URL = {https://inria.hal.science/hal-01405274},
  NOTE = {Part 1: Testing Methodologies},
  BOOKTITLE = {{26th IFIP International Conference on Testing Software and Systems (ICTSS)}},
  ADDRESS = {Madrid, Spain},
  EDITOR = {Mercedes G. Merayo and Edgardo Montes Oca},
  PUBLISHER = {{Springer}},
  SERIES = {Testing Software and Systems},
  VOLUME = {LNCS-8763},
  PAGES = {48-62},
  YEAR = {2014},
  MONTH = Sep,
  DOI = {10.1007/978-3-662-44857-1\_4},
  KEYWORDS = {Model-based testing ; planning-problem ; security testing ; SQL injection ; cross-site scripting},
  PDF = {https://inria.hal.science/hal-01405274/file/978-3-662-44857-1_4_Chapter.pdf},
  HAL_ID = {hal-01405274},
  HAL_VERSION = {v1},
}