{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:14:42Z","timestamp":1730211282572,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1109\/csmr-wcre.2014.6747207","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T21:03:45Z","timestamp":1394226225000},"page":"411-414","source":"Crossref","is-referenced-by-count":5,"title":["Model inference and security testing in the spacios project"],"prefix":"10.1109","author":[{"given":"Matthias","family":"Buchler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karim","family":"Hossen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petru Florin","family":"Mihancea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Minea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roland","family":"Groz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catherine","family":"Oriat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242663"},{"key":"22","first-page":"3","article-title":"From model-checking to automated testing of security protocols bridging the gap","volume":"7305","author":"armando","year":"2012","journal-title":"6th International Conference on Tests and Proofs (TAP) Ser LNCS"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.402"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-7010-6_22"},{"key":"16","first-page":"26","article-title":"Enemy of the state a state-aware black-box web vulnerability scanner","author":"doupe","year":"2012","journal-title":"Proceedings of the 21st USENIX Security Symposium"},{"key":"13","first-page":"114","article-title":"A model-based approach to security flaw detection of network protocol implementations","author":"hsu","year":"2008","journal-title":"IEEE Int Conf Network Protocols (ICNP)"},{"key":"14","first-page":"146","article-title":"Crawling rich internet applications the state of the art","author":"choudhary","year":"2012","journal-title":"22nd CASCON"},{"journal-title":"WebGoat Project","year":"2011","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04468-7_19"},{"key":"21","first-page":"471","article-title":"Specification-based test generation for security-critical systems using mutations","volume":"2495","author":"wimmel","year":"2002","journal-title":"International Conference on Formal Engineering Methods (ICFEM) Ser LNCS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25271-6_1"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.42"},{"year":"0","key":"2"},{"journal-title":"Secure Provision and Consumption in the Internet of Services","year":"0","key":"1"},{"journal-title":"Deliverable 3 4 1 Bridge Components for Different Levels of Abstraction","year":"2013","key":"10"},{"key":"7","article-title":"Induction of model trees for predicting continuous classes","author":"wang","year":"1997","journal-title":"Poster Papers of the 9th ECML"},{"journal-title":"C4 5 Programs for Machine Learning","year":"1993","author":"quinlan","key":"6"},{"key":"5","first-page":"436","article-title":"Integration testing of distributed components based on learning parameterized i\/O models","volume":"4229","author":"li","year":"2006","journal-title":"26th Internat Conference on Formal Techniques for Networked and Distributed Systems (FORTE) Ser LNCS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.57"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/SERE.2012.38"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR-WCRE.2014.6747216"}],"event":{"name":"2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE)","start":{"date-parts":[[2014,2,3]]},"location":"Antwerp, Belgium","end":{"date-parts":[[2014,2,6]]}},"container-title":["2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6736725\/6747152\/06747207.pdf?arnumber=6747207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T21:57:06Z","timestamp":1490306226000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6747207\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/csmr-wcre.2014.6747207","relation":{},"subject":[],"published":{"date-parts":[[2014,2]]}}}