@misc{indiciae171ea6e3ef3f,
  title = {Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing},
  author = {Christian Colombo and Mark Micallef and Mark Scerri},
  year = {2014},
  doi = {10.4204/eptcs.141.2},
  url = {https://arxiv.org/abs/1403.7258},
  note = {Source identifier: 1403.7258}
}