{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T23:40:06Z","timestamp":1751845206004,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319999265"},{"type":"electronic","value":"9783319999272"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99927-2_7","type":"book-chapter","created":{"date-parts":[[2018,9,6]],"date-time":"2018-09-06T17:39:50Z","timestamp":1536255590000},"page":"69-84","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach"],"prefix":"10.1007","author":[{"given":"Jorge","family":"L\u00f3pez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Kushik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Asma","family":"Berriri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nina","family":"Yevtushenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Djamal","family":"Zeghlache","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,7]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Al-Shaer, E., Al-Haj, S.: FlowChecker: configuration analysis and verification of federated OpenFlow infrastructures. In: Proceedings of the 3rd ACM Workshop on Assurable and Usable Security Configuration, pp. 37\u201344. ACM (2010)","DOI":"10.1145\/1866898.1866905"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Berde, P., et al.: ONOS: towards an open, distributed SDN OS. In: Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, pp. 1\u20136. ACM (2014)","DOI":"10.1145\/2620728.2620744"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Berriri, A., L\u00f3pez, J., Kushik, N., Yevtushenko, N., Zeghlache, D.: Towards model based testing for software defined networks. In: Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, 23\u201324 March 2018, pp. 440\u2013446 (2018)","DOI":"10.5220\/0006805604400446"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-642-14295-6_5","volume-title":"Computer Aided Verification","author":"R Brayton","year":"2010","unstructured":"Brayton, R., Mishchenko, A.: ABC: an academic industrial-strength verification tool. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 24\u201340. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14295-6_5"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"David, L., Stefano, V., Olivier, B.: Towards test-driven software defined networking. In: 2014 IEEE Network Operations and Management Symposium, pp. 1\u20139 (2014)","DOI":"10.1109\/NOMS.2014.6838225"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Dobrescu, M., Argyraki, K.: Toward a verifiable software dataplane. In: Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, p. 18. ACM (2013)","DOI":"10.1145\/2535771.2535777"},{"key":"7_CR7","unstructured":"Fayaz, S.K., Yu, T., Tobioka, Y., Chaki, S., Sekar, V.: BUZZ: testing context-dependent policies in stateful networks. In: 13th USENIX Symposium on Networked Systems Design and Implementation, pp. 275\u2013289 (2016)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Gr\u00fcn, B.J.M., Schuler, D., Zeller, A.: The impact of equivalent mutants. In: Proceedings of Second International Conference on Software Testing Verification and Validation Workshops, ICST 2009, pp. 192\u2013199 (2009)","DOI":"10.1109\/ICSTW.2009.37"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Han, J.H., et al.: BlueSwitch: enabling provably consistent configuration of network switches. In: Proceedings of the Eleventh ACM\/IEEE Symposium on Architectures for Networking And Communications Systems, pp. 17\u201327 (2015)","DOI":"10.1109\/ANCS.2015.7110117"},{"key":"7_CR10","first-page":"113","volume":"12","author":"P Kazemian","year":"2012","unstructured":"Kazemian, P., Varghese, G., McKeown, N.: Header space analysis: static checking for networks. NSDI 12, 113\u2013126 (2012)","journal-title":"NSDI"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Kushik, N., L\u00f3pez, J., Cavalli, A., Yevtushenko, N.: Improving protocol passive testing through \u201cgedanken\u201d experiments with finite state machines. In: IEEE International Conference on Software Quality, Reliability and Security, pp. 315\u2013322 (2016)","DOI":"10.1109\/QRS.2016.43"},{"issue":"8","key":"7_CR12","doi-asserted-by":"publisher","first-page":"1274","DOI":"10.1007\/s11182-016-0902-9","volume":"59","author":"NG Kushik","year":"2016","unstructured":"Kushik, N.G., L\u00f3pez, J.E., Yevtushenko, N.V.: Investigation of correlation of test sequences for reliability testing of digital physical system components. Russ. Phys. J. 59(8), 1274\u20131280 (2016)","journal-title":"Russ. Phys. J."},{"issue":"1","key":"7_CR13","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s11280-015-0324-6","volume":"19","author":"J Lopez","year":"2016","unstructured":"Lopez, J., Maag, S., Morales, G.: Behavior evaluation for trust management based on formal distributed network monitoring. World Wide Web 19(1), 21\u201339 (2016)","journal-title":"World Wide Web"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Mai, H., Khurshid, A., Agarwal, R., Caesar, M., Godfrey, P.B., King, S.T.: Debugging the data plane with anteater. In: Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM 2011, New York, NY, USA, pp. 290\u2013301 (2011)","DOI":"10.1145\/2043164.2018470"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Matrosova, A., Mitrofanov, E., Shah, T.: Multiple stuck-at fault testability of a combinational circuit derived by covering ROBDD nodes by invert-and-or sub-circuits. In: IEEE East-West Design & Test Symposium, pp. 1\u20134 (2015)","DOI":"10.1109\/EWDTS.2015.7493099"},{"issue":"2","key":"7_CR16","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1355734.1355746","volume":"38","author":"N McKeown","year":"2008","unstructured":"McKeown, N., et al.: OpenFlow: enabling innovation in campus networks. ACM SIGCOMM Comput. Commun. Rev. 38(2), 69\u201374 (2008)","journal-title":"ACM SIGCOMM Comput. Commun. Rev."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"de Oliveira, R.L.S., Schweitzer, C.M., Shinoda, A.A., Prete, L.R.: Using mininet for emulation and prototyping software-defined networks. In: 2014 IEEE Colombian Conference on Communications and Computing (COLCOM), pp. 1\u20136 (2014)","DOI":"10.1109\/ColComCon.2014.6860404"},{"key":"7_CR18","unstructured":"Open-Networking-Foundation: Openflow switch specification v1. 4.0 (2013). https:\/\/www.opennetworking.org\/images\/stories\/downloads\/sdn-resources\/onf-specifications\/openflow\/openflow-spec-v1.4.0.pdf"},{"key":"7_CR19","unstructured":"Open-Networking-Foundation: SDN testing & validation ONF SDN solutions showcase theme demonstrations (2014). https:\/\/www.opennetworking.org\/wp-content\/uploads\/2014\/07\/IXIA-demo.pdf"},{"key":"7_CR20","unstructured":"OpenNetworking: Software-defined networking: the new norm for networks. ONF White Paper (2012). https:\/\/www.opennetworking.org"},{"key":"7_CR21","unstructured":"Patel, J.H.: Stuck-at Fault: a fault model for the next millennium? (2005). http:\/\/web.stanford.edu\/class\/ee386\/public\/stuck_at_fault_6per_page"},{"key":"7_CR22","unstructured":"Pfaff, B., et al.: The design and implementation of Open vSwitch. In: 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15), pp. 117\u2013130. USENIX Association (2015)"},{"issue":"7","key":"7_CR23","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MCOM.2013.6553676","volume":"51","author":"S Sezer","year":"2013","unstructured":"Sezer, S., et al.: Are we ready for SDN? Implementation challenges for software-defined networks. IEEE Commun. Mag. 51(7), 36\u201343 (2013)","journal-title":"IEEE Commun. Mag."},{"key":"7_CR24","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: The IEEE 22nd International Conference on Network Protocols (ICNP), pp. 179\u2013190 (2014)","DOI":"10.1109\/ICNP.2014.37"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Zeng, H., Kazemian, P., Varghese, G., McKeown, N.: Automatic test packet generation. In: Proceedings of the 8th International Conference on Emerging Networking Experiments and Technologies, pp. 241\u2013252 (2012)","DOI":"10.1145\/2413176.2413205"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99927-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T23:03:46Z","timestamp":1751843026000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-99927-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319999265","9783319999272"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99927-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"7 September 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Testing Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"C\u00e1diz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pts2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ictss2018.uca.es\/ictss","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}