{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:21:38Z","timestamp":1725888098969},"publisher-location":"Singapore","reference-count":18,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811050404"},{"type":"electronic","value":"9789811050411"}],"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-981-10-5041-1_33","type":"book-chapter","created":{"date-parts":[[2017,5,13]],"date-time":"2017-05-13T07:14:39Z","timestamp":1494659679000},"page":"193-198","source":"Crossref","is-referenced-by-count":0,"title":["OFART: OpenFlow-Switch Adaptive Random Testing"],"prefix":"10.1007","author":[{"given":"Dong-Su","family":"Koo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Young B.","family":"Park","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,14]]},"reference":[{"issue":"3","key":"33_CR1","doi-asserted-by":"crossref","first-page":"1617","DOI":"10.1109\/SURV.2014.012214.00180","volume":"16","author":"BAA Nunes","year":"2014","unstructured":"Nunes, B.A.A., Mendonca, M., Nguyen, X.N., Obraczka, K., Turletti, T.: A survey of software-defined networking: past, present, and future of programmable networks. IEEE Commun. Surv. Tutor. 16(3), 1617\u20131634 (2014)","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"33_CR2","unstructured":"Open Networking Foundation: Software-defined networking: the new norm for networks. ONF white paper (2012)"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Kuzniar, M., Peresini, P., Canini, M., Venzano, D., Kostic, D.: A SOFT way for openflow switch interoperability testing. In: 8th International Conference on Emerging Networking Experiments and Technologies, pp. 265\u2013276. ACM (2012)","DOI":"10.1145\/2413176.2413207"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"Yao, J., Wang, Z., Yin, X., Shiyz, X., Wu, J.: Formal modeling and systematic black-box testing of SDN data plane. In: 2014 IEEE 22nd International Conference on Network Protocols, pp. 179\u2013190. IEEE (2014)","DOI":"10.1109\/ICNP.2014.37"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Guha, A., Reitblatt, M., Foster, N.: Machine-verified network controllers. In: ACM SIGPLAN Notices, vol. 48, no. 6, pp. 483\u2013494. ACM (2013)","DOI":"10.1145\/2491956.2462178"},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"Skowyra, R., Lapets, A., Bestavros, A., Kfoury, A.: A verification platform for sdn-enabled applications. In: 2014 IEEE International Conference on Cloud Engineering (IC2E), pp. 337\u2013342. IEEE (2014)","DOI":"10.1109\/IC2E.2014.72"},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"Ball, T., et al.: Vericon: Towards verifying controller programs in software-defined networks. In: ACM SIGPLAN Notices, vol. 49, no. 6, pp. 282\u2013293. ACM (2014)","DOI":"10.1145\/2666356.2594317"},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"Al-Shaer, E., Al-Haj, S.: FlowChecker: configuration analysis and verification of federated OpenFlow infrastructures. In: 3rd ACM Workshop on Assurable and Usable Security Configuration, pp. 37\u201344. ACM (2010)","DOI":"10.1145\/1866898.1866905"},{"key":"33_CR9","doi-asserted-by":"crossref","unstructured":"Kang, M., Kang, E.Y., Hwang, D.Y., Kim, B.J., Nam, K.H., Shin, M.K., Choi, J.Y.: Formal modeling and verification of SDN-OpenFlow. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, pp. 481\u2013482. IEEE (2013)","DOI":"10.1109\/ICST.2013.69"},{"key":"33_CR10","volume-title":"Software testing: a craftsman\u2019s approach","author":"PC Jorgensen","year":"2016","unstructured":"Jorgensen, P.C.: Software testing: a craftsman\u2019s approach. CRC Press, Hoboken (2016)"},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"Chen, T.Y., Leung, H., Mak, I.K.: Adaptive random testing. In: Advances in Computer Science-ASIAN 2004, Higher-Level Decision Making, pp. 320\u2013329. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-30502-6_23"},{"issue":"1","key":"33_CR12","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1016\/j.jss.2009.02.022","volume":"83","author":"TY Chen","year":"2010","unstructured":"Chen, T.Y., Kuo, F.C., Merkel, R.G., Tse, T.H.: Adaptive random testing: the art of test case diversity. J. Syst. Softw. 83(1), 60\u201366 (2010)","journal-title":"J. Syst. Softw."},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"Kuzniar, M., Canini, M., Kostic, D.: OFTEN testing OpenFlow networks. In: 2012 European Workshop on Software Defined Networking, pp. 54\u201360. IEEE (2012)","DOI":"10.1109\/EWSDN.2012.21"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"Zeng, H., Kazemian, P., Varghese, G., McKeown, N.: Automatic test packet generation. In: 8th International Conference on Emerging Networking Experiments and Technologies, pp. 241\u2013252. ACM (2012)","DOI":"10.1145\/2413176.2413205"},{"key":"33_CR15","doi-asserted-by":"crossref","unstructured":"Fayaz, S.K., Sekar, V.: Testing stateful and dynamic data planes with FlowTest. In: Third Workshop on Hot Topics in Software Defined Networking, pp. 79\u201384. ACM (2014)","DOI":"10.1145\/2620728.2620751"},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"Bifulco, R., Boite, J., Bouet, M., Schneider, F.: Improving SDN with InSPired switches (2016)","DOI":"10.1145\/2890955.2890962"},{"key":"33_CR17","unstructured":"OFTest. http:\/\/www.projectfloodlight.org\/oftest"},{"key":"33_CR18","unstructured":"RYU. https:\/\/osrg.github.io\/ryu"}],"container-title":["Lecture Notes in Electrical Engineering","Advanced Multimedia and Ubiquitous Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-5041-1_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,24]],"date-time":"2019-09-24T16:08:33Z","timestamp":1569341313000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-5041-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789811050404","9789811050411"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-5041-1_33","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2017]]}}}