Model-checking driven security testing of web-based applications. Armando, A., Carbone, R., Compagna, L., Li, K., & Pellegrino, G. ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops, 2010. ![Model-checking driven security testing of web-based applications [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @ARTICLE{Armando2010361,
author={Armando, A., Carbone, R., Compagna, L., Li, K., Pellegrino, G.},
title={Model-checking driven security testing of web-based applications},
journal={ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops},
year={2010},
pages={361-370},
doi={10.1109/ICSTW.2010.54},
art_number={5463670},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-77953758046&partnerID=40&md5=78b868209080a5a8476005ece945bfe2},
document_type={Conference Paper},
source={Scopus},
}
Downloads: 0
{"_id":"ryLYTXbxfde3aXu5v","bibbaseid":"armando-carbone-compagna-li-pellegrino-modelcheckingdrivensecuritytestingofwebbasedapplications-2010","downloads":0,"creationDate":"2016-08-26T09:24:46.809Z","title":"Model-checking driven security testing of web-based applications","author_short":["Armando, A.","Carbone, R.","Compagna, L.","Li, K.","Pellegrino, G."],"year":2010,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/1703583/BiblioLab.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Carbone"],"firstnames":["R."],"suffixes":[]},{"propositions":[],"lastnames":["Compagna"],"firstnames":["L."],"suffixes":[]},{"propositions":[],"lastnames":["Li"],"firstnames":["K."],"suffixes":[]},{"propositions":[],"lastnames":["Pellegrino"],"firstnames":["G."],"suffixes":[]}],"title":"Model-checking driven security testing of web-based applications","journal":"ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops","year":"2010","pages":"361-370","doi":"10.1109/ICSTW.2010.54","art_number":"5463670","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-77953758046&partnerID=40&md5=78b868209080a5a8476005ece945bfe2","document_type":"Conference Paper","source":"Scopus","bibtex":"@ARTICLE{Armando2010361,\nauthor={Armando, A., Carbone, R., Compagna, L., Li, K., Pellegrino, G.},\ntitle={Model-checking driven security testing of web-based applications},\njournal={ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops},\nyear={2010},\npages={361-370},\ndoi={10.1109/ICSTW.2010.54},\nart_number={5463670},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-77953758046&partnerID=40&md5=78b868209080a5a8476005ece945bfe2},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Carbone, R.","Compagna, L.","Li, K.","Pellegrino, G."],"key":"Armando2010361","id":"Armando2010361","bibbaseid":"armando-carbone-compagna-li-pellegrino-modelcheckingdrivensecuritytestingofwebbasedapplications-2010","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-77953758046&partnerID=40&md5=78b868209080a5a8476005ece945bfe2"},"downloads":0},"search_terms":["model","checking","driven","security","testing","web","based","applications","armando","carbone","compagna","li","pellegrino"],"keywords":["dblp"],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["EQov9rEvkmMf5P4ah"]}