@InProceedings{tsankov.ea:secfuzz:2012,
  author	= {Petar Tsankov and Mohammad Torabi Dashti and David Basin},
  booktitle	= {Proceedings of the 7th International Workshop on Automation of Software Test},
  month		= {June},
  pages		= {1--7},
  publisher	= {ACM},
  series	= {AST'12},
  title		= {SecFuzz: Fuzz-testing Security Protocols},
  year		= 2012
}