Ivan Bocic, Tevfik Bultan. Symbolic model extraction for web application verification. In Sebastián Uchitel, Alessandro Orso, Martin P. Robillard, editors, Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017. pages 724-734, IEEE / ACM, 2017. [doi]
Abstract is missing.