{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:44:01Z","timestamp":1725871441364},"publisher-location":"Singapore","reference-count":18,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811030222"},{"type":"electronic","value":"9789811030239"}],"license":[{"start":{"date-parts":[[2016,11,23]],"date-time":"2016-11-23T00:00:00Z","timestamp":1479859200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-981-10-3023-9_97","type":"book-chapter","created":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T16:27:38Z","timestamp":1570638458000},"page":"631-636","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","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":[[2016,11,23]]},"reference":[{"issue":"3","key":"97_CR1","doi-asserted-by":"publisher","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. Tutorials 16(3), 1617\u20131634 (2014)","journal-title":"IEEE Commun. Surv. Tutorials"},{"key":"97_CR2","unstructured":"Open Networking Foundation: Software-defined networking: the new norm for networks. ONF White Paper (2012)"},{"key":"97_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":"97_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":"97_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\/2499370.2462178"},{"key":"97_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":"97_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":"97_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":"97_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":"97_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":"97_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-540-30502-6_23","volume-title":"Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making","author":"TY Chen","year":"2004","unstructured":"Chen, T.Y., Leung, H., Mak, I.K.: Adaptive random testing. In: Maher, M.J. (ed.) ASIAN 2004. LNCS, vol. 3321, pp. 320\u2013329. Springer, Heidelberg (2004). doi:\n                    10.1007\/978-3-540-30502-6_23"},{"issue":"1","key":"97_CR12","doi-asserted-by":"publisher","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":"97_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":"97_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":"97_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":"97_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":"97_CR17","unstructured":"OFTest. \n                    http:\/\/www.projectfloodlight.org\/oftest"},{"key":"97_CR18","unstructured":"RYU. \n                    https:\/\/osrg.github.io\/ryu"}],"container-title":["Lecture Notes in Electrical Engineering","Advances in Computer Science and Ubiquitous Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-3023-9_97","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T16:34:39Z","timestamp":1570638879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-3023-9_97"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,23]]},"ISBN":["9789811030222","9789811030239"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-3023-9_97","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2016,11,23]]},"assertion":[{"value":"23 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Science and its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bangkok","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thailand","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 December 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 December 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"csa2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/csa-conference.org\/2016\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}