External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Symbolic model extraction for web application verification

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]

Authors

Ivan Bocic

This author has not been identified. Look up 'Ivan Bocic' in Google

Tevfik Bultan

This author has not been identified. Look up 'Tevfik Bultan' in Google
runs on