@Inproceedings{EPTCS141.2, author = {Colombo, Christian and Micallef, Mark and Scerri, Mark}, year = {2014}, title = {Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing}, editor = {Schlingloff, Holger and Petrenko, Alexander K.}, booktitle = {{\rm Proceedings Ninth Workshop on} Model-Based Testing, {\rm Grenoble, France, 6 April 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {141}, publisher = {Open Publishing Association}, pages = {14-28}, doi = {10.4204/EPTCS.141.2}, }