@misc{indiciae4905d46218cb,
  title = {Attack Synthesis for Strings using Meta-Heuristics},
  author = {Seemanta Saha and Ismet Burak Kadron and William Eiers and Lucas Bang and Tevfik Bultan},
  year = {2019},
  url = {https://arxiv.org/abs/1907.11710},
  note = {Source identifier: 1907.11710}
}