{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:11:05Z","timestamp":1726409465916},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319576657"},{"type":"electronic","value":"9783319576664"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57666-4_14","type":"book-chapter","created":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T08:18:42Z","timestamp":1491985122000},"page":"231-237","source":"Crossref","is-referenced-by-count":0,"title":["Tool Support for Fuzz Testing of Component-Based System Adaptation Policies"],"prefix":"10.1007","author":[{"given":"Jean-Fran\u00e7ois","family":"Weber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,13]]},"reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-319-07602-7_15","volume-title":"Formal Aspects of Component Software","author":"O Kouchnarenko","year":"2014","unstructured":"Kouchnarenko, O., Weber, J.-F.: Adapting component-based systems at runtime via policies with temporal patterns. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 234\u2013253. Springer, Cham (2014). doi: 10.1007\/978-3-319-07602-7_15"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-319-25423-4_18","volume-title":"Formal Methods and Software Engineering","author":"O Kouchnarenko","year":"2015","unstructured":"Kouchnarenko, O., Weber, J.-F.: Practical analysis framework for component systems with dynamic reconfigurations. In: Butler, M., Conchon, S., Za\u00efdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 287\u2013303. Springer, Cham (2015). doi: 10.1007\/978-3-319-25423-4_18"},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"1257","DOI":"10.1002\/spe.767","volume":"36","author":"E Bruneton","year":"2006","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.B.: The fractal component model and its support in java. Softw. Pract. Experience 36, 1257\u20131284 (2006)","journal-title":"Softw. Pract. Experience"},{"key":"14_CR4","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1002\/spe.1077","volume":"42","author":"L Seinturier","year":"2012","unstructured":"Seinturier, L., Merle, P., Rouvoy, R., Romero, D., Schiavoni, V., Stefani, J.B.: A component-based middleware platform for reconfigurable service-oriented architectures. Softw. Pract. Experience 42, 559\u2013583 (2012)","journal-title":"Softw. Pract. Experience"},{"key":"14_CR5","volume-title":"Fuzzing for Software Security Testing and Quality Assurance","author":"A Takanen","year":"2008","unstructured":"Takanen, A., Demott, J.D., Miller, C.: Fuzzing for Software Security Testing and Quality Assurance. Artech House, Norwood (2008)"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-36757-1_6","volume-title":"System Analysis and Modeling: Theory and Practice","author":"M Schneider","year":"2013","unstructured":"Schneider, M., Gro\u00dfmann, J., Tcholtchev, N., Schieferdecker, I., Pietschker, A.: Behavioral fuzzing operators for UML sequence diagrams. In: Haugen, \u00d8., Reed, R., Gotzhein, R. (eds.) SAM 2012. LNCS, vol. 7744, pp. 88\u2013104. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-36757-1_6"},{"doi-asserted-by":"crossref","unstructured":"Boyer, F., Gruber, F., Pous, D.: Robust reconfigurations of component assemblies. In: International Conference on Software Engineering, ICSE 2013, Piscataway, NJ, USA, pp. 13\u201322. IEEE Press (2013)","key":"14_CR7","DOI":"10.1109\/ICSE.2013.6606547"},{"key":"14_CR8","volume-title":"Logic for Mathematicians","author":"AG Hamilton","year":"1988","unstructured":"Hamilton, A.G.: Logic for Mathematicians. Cambridge University Press, Cambridge (1988)"},{"doi-asserted-by":"crossref","unstructured":"Schneider, M., Gro\u00dfmann, J., Schieferdecker, I., Pietschker, A.: Online model-based behavioral fuzzing. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2003), pp. 469\u2013475. IEEE (2013)","key":"14_CR9","DOI":"10.1109\/ICSTW.2013.61"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57666-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T10:43:40Z","timestamp":1498387420000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57666-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319576657","9783319576664"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57666-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}