@misc{indiciae410aabddc2af,
  title = {Towards a better understanding of testing if conditionals},
  author = {Shimul Kumar Nath and Robert Merkel and Man Fai Lau and Tanay Kanti Paul},
  year = {2012},
  url = {https://arxiv.org/abs/1205.6594},
  note = {Source identifier: 1205.6594}
}