@misc{indiciae307376885515,
  title = {Black-Box Verification for GUI Applications},
  author = {Stephan Arlt and Evren Ermis and Sergio Feo-Arenis and Andreas Podelski},
  year = {2012},
  url = {https://arxiv.org/abs/1210.4686},
  note = {Source identifier: 1210.4686}
}