@inproceedings{bocic_symbolic_2017,
	address = {Piscataway, NJ, USA},
	title = {Symbolic {Model} {Extraction} for {Web} {Application} {Verification}},
	isbn = {978-1-5386-3868-2},
	url = {https://doi.org/10.1109/ICSE.2017.72},
	doi = {10.1109/ICSE.2017.72},
	booktitle = {Proceedings of the 39th {International} {Conference} on {Software} {Engineering}},
	publisher = {IEEE Press},
	author = {Bocić, Ivan and Bultan, Tevfik},
	year = {2017},
	keywords = {formal verification, model extraction, web applications},
	pages = {724--734},
}

{"_id":"YHQahyzArFisTGn92","bibbaseid":"boci-bultan-symbolicmodelextractionforwebapplicationverification-2017","author_short":["Bocić, I.","Bultan, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Piscataway, NJ, USA","title":"Symbolic Model Extraction for Web Application Verification","isbn":"978-1-5386-3868-2","url":"https://doi.org/10.1109/ICSE.2017.72","doi":"10.1109/ICSE.2017.72","booktitle":"Proceedings of the 39th International Conference on Software Engineering","publisher":"IEEE Press","author":[{"propositions":[],"lastnames":["Bocić"],"firstnames":["Ivan"],"suffixes":[]},{"propositions":[],"lastnames":["Bultan"],"firstnames":["Tevfik"],"suffixes":[]}],"year":"2017","keywords":"formal verification, model extraction, web applications","pages":"724–734","bibtex":"@inproceedings{bocic_symbolic_2017,\n\taddress = {Piscataway, NJ, USA},\n\ttitle = {Symbolic {Model} {Extraction} for {Web} {Application} {Verification}},\n\tisbn = {978-1-5386-3868-2},\n\turl = {https://doi.org/10.1109/ICSE.2017.72},\n\tdoi = {10.1109/ICSE.2017.72},\n\tbooktitle = {Proceedings of the 39th {International} {Conference} on {Software} {Engineering}},\n\tpublisher = {IEEE Press},\n\tauthor = {Bocić, Ivan and Bultan, Tevfik},\n\tyear = {2017},\n\tkeywords = {formal verification, model extraction, web applications},\n\tpages = {724--734},\n}\n\n","author_short":["Bocić, I.","Bultan, T."],"key":"bocic_symbolic_2017","id":"bocic_symbolic_2017","bibbaseid":"boci-bultan-symbolicmodelextractionforwebapplicationverification-2017","role":"author","urls":{"Paper":"https://doi.org/10.1109/ICSE.2017.72"},"keyword":["formal verification","model extraction","web applications"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/kpmoran","dataSources":["EJbQZ5DryKAnqjJXj"],"keywords":["formal verification","model extraction","web applications"],"search_terms":["symbolic","model","extraction","web","application","verification","bocić","bultan"],"title":"Symbolic Model Extraction for Web Application Verification","year":2017}