{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T00:12:19Z","timestamp":1768003939329,"version":"3.49.0"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T00:00:00Z","timestamp":1557273600000},"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":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s11432-018-9826-x","type":"journal-article","created":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T12:45:43Z","timestamp":1557492343000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Predictive analysis for race detection in software-defined networks"],"prefix":"10.1007","volume":"62","author":[{"given":"Gongzheng","family":"Lu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yibiao","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baowen","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,8]]},"reference":[{"key":"9826_CR1","unstructured":"Open Networking Foundation. OpenFlow Switch Specification. version 1.3.3. 2013. https:\/\/www.opennetworking.org\/wp-content\/uploads\/2014\/10\/openflow-spec-v1.3.3.pdf"},{"key":"9826_CR2","first-page":"052105","volume":"58","author":"D D Deng","year":"2015","unstructured":"Deng D D, Jin G L, de Kruijf M, et al. Fixing, preventing, and recovering from concurrency bugs. Sci China Inf Sci, 2015, 58: 052105","journal-title":"Sci China Inf Sci"},{"key":"9826_CR3","doi-asserted-by":"publisher","first-page":"031101","DOI":"10.1007\/s11432-015-0203-2","volume":"60","author":"Z D Wu","year":"2017","unstructured":"Wu Z D, Lu K, Wang X P. Surveying concurrency bug detectors based on types of detected bugs. Sci China Inf Sci, 2017, 60: 031101","journal-title":"Sci China Inf Sci"},{"key":"9826_CR4","first-page":"451","volume-title":"Attacking the brain: races in the SDN control plane","author":"L Xu","year":"2017","unstructured":"Xu L, Huang J, Hong S M, et al. Attacking the brain: races in the SDN control plane. In: Proceedings of the 26th USENIX Security Symposium, Vancouver, 2017. 451\u2013468"},{"key":"9826_CR5","first-page":"450","volume-title":"Effective and precise dynamic detection of hidden races for Java programs","author":"Y Cai","year":"2015","unstructured":"Cai Y, Cao L W. Effective and precise dynamic detection of hidden races for Java programs. In: Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo, 2015. 450\u2013461"},{"key":"9826_CR6","first-page":"337","volume-title":"Maximal sound predictive race detection with control flow abstraction","author":"J Huang","year":"2014","unstructured":"Huang J, Meredith P O, Rosu G. Maximal sound predictive race detection with control flow abstraction. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, Edinburgh, 2014. 337\u2013348"},{"key":"9826_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2430536.2430542","volume":"22","author":"J Huang","year":"2013","unstructured":"Huang J, Zhou J G, Zhang C. Scaling predictive analysis of concurrent programs by removing trace redundancy. ACM Trans Softw Eng Method, 2013, 22: 1\u201321","journal-title":"ACM Trans Softw Eng Method"},{"key":"9826_CR8","first-page":"59","volume-title":"IPA: improving predictive analysis with pointer analysis","author":"P Liu","year":"2016","unstructured":"Liu P, Tripp O, Zhang X Y. IPA: improving predictive analysis with pointer analysis. In: Proceedings of the 25th International Symposium on Software Testing and Analysis, Saarbr\u00fccken, 2016. 59\u201369"},{"key":"9826_CR9","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1007\/s00165-011-0179-2","volume":"23","author":"C Wang","year":"2011","unstructured":"Wang C, Kundu S, Limaye R, et al. Symbolic predictive analysis for concurrent programs. Form Asp Comput, 2011, 23: 781\u2013805","journal-title":"Form Asp Comput"},{"key":"9826_CR10","first-page":"402","volume-title":"SDNRacer: concurrency analysis for software-defined networks","author":"A El-Hassany","year":"2016","unstructured":"El-Hassany A, Miserez J, Bielik P, et al. SDNRacer: concurrency analysis for software-defined networks. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, Santa Barbara, 2016. 402\u2013415"},{"key":"9826_CR11","doi-asserted-by":"publisher","first-page":"012105","DOI":"10.1007\/s11432-015-0450-5","volume":"60","author":"Z Y Zhang","year":"2017","unstructured":"Zhang Z Y, Chen Z Y, Gao R Z, et al. An empirical study on constraint optimization techniques for test generation. Sci China Inf Sci, 2017, 60: 012105","journal-title":"Sci China Inf Sci"},{"key":"9826_CR12","unstructured":"Big Switch Networks, Inc. Floodlight learning switch. 2013. https:\/\/github.com\/floodlight\/floodlight\/tree\/v0.91\/src\/main\/java\/net\/floodlightcontroller\/learningswitch"},{"key":"9826_CR13","unstructured":"McCauley J. POX EEL L2 learning switch. 2015. https:\/\/github.com\/noxrepo\/pox\/blob\/eel\/pox\/forwarding\/12_learning.py"},{"key":"9826_CR14","unstructured":"Big Switch Networks, Inc. Floodlight forwarding application. 2013. https:\/\/github.com\/floodlight\/floodlight\/blob\/v0.91\/src\/main\/java\/net\/floodlightcontroller\/forwarding\/Forwarding.java"},{"key":"9826_CR15","unstructured":"McCauley J. POX angler forwarding application. 2012. https:\/\/github.com\/noxrepo\/pox\/blob\/angler\/pox\/forwarding\/12_multi.py"},{"key":"9826_CR16","unstructured":"McCauley J. POX EEL forwarding application. 2015. https:\/\/github.com\/noxrepo\/pox\/blob\/eel\/pox\/forwarding\/12_multi.py"},{"key":"9826_CR17","unstructured":"Open Networking Laboratory. ONOS: forwarding application. 2015. https:\/\/github.com\/opennetworkinglab\/onos\/tree\/onos-1.2\/apps\/fwd"},{"key":"9826_CR18","unstructured":"Big Switch Networks, Inc. Floodlight circuit pusher application. 2013. https:\/\/github.com\/floodlight\/floodlight\/tree\/v0.91\/apps\/circuitpusher"},{"key":"9826_CR19","unstructured":"Big Switch Networks, Inc. Floodlight firewall. 2013. https:\/\/github.com\/floodlight\/floodlight\/tree\/v0.91\/src\/main\/java\/net\/floodlightcontroller\/firewall"},{"key":"9826_CR20","unstructured":"Big Switch Networks, Inc. Floodlight load-balancer application. 2013. https:\/\/github.com\/floodlight\/floodlight\/tree\/v0.91\/src\/main\/java\/net\/floodlightcontroller\/loadbalancer"},{"key":"9826_CR21","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1109\/TNSM.2015.2419975","volume":"12","author":"X S Sun","year":"2015","unstructured":"Sun X S, Agarwal A, Ng T S E. Controlling race conditions in OpenFlow to accelerate application verification and packet forwarding. IEEE Trans Netw Serv Manage, 2015, 12: 263\u2013277","journal-title":"IEEE Trans Netw Serv Manage"},{"key":"9826_CR22","first-page":"163","volume-title":"Kuai: a model checker for software-defined networks","author":"R Majumdar","year":"2014","unstructured":"Majumdar R, Tetali S D, Wang Z. Kuai: a model checker for software-defined networks. In: Proceedings of the 14th International Conference on Formal Methods in Computer-Aided Design, Portland, 2014. 163\u2013170"},{"key":"9826_CR23","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1145\/2377677.2377766","volume":"42","author":"A Khurshid","year":"2012","unstructured":"Khurshid A, Zhou W, Caesar M, et al. Veriflow: verifying network-wide invariants in real time. SIGCOMM Comput Commun Rev, 2012, 42: 467\u2013472","journal-title":"SIGCOMM Comput Commun Rev"},{"key":"9826_CR24","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/3050220.3050230","volume-title":"Proceedings of the Symposium on SDN Research","author":"R May","year":"2017","unstructured":"May R, EI-Hassany A, Vanbever L, et al. BigBug: practical concurrency analysis for SDN. In: Proceedings of the Symposium on SDN Research, Santa Clara, 2017. 88\u201394"},{"key":"9826_CR25","first-page":"308","volume-title":"Effective static race detection for Java","author":"M Naik","year":"2006","unstructured":"Naik M, Aiken A, Whaley J. Effective static race detection for Java. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, Ottawa, 2006. 308\u2013319"},{"key":"9826_CR26","first-page":"135","volume-title":"Effective static analysis to find concurrency bugs in Java","author":"Z D Luo","year":"2010","unstructured":"Luo Z D, Hillis L, Das R, et al. Effective static analysis to find concurrency bugs in Java. In: Proceedings of the 12th IEEE International Working Conference on Source Code Analysis and Manipulation, Timisoara, 2010. 135\u2013144"},{"key":"9826_CR27","first-page":"179","volume-title":"Efficient on-the-fly data race detection in multithreaded C++ programs","author":"E Pozniansky","year":"2003","unstructured":"Pozniansky E, Schuster A. Efficient on-the-fly data race detection in multithreaded C++ programs. In: Proceedings of ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, 2003. 179\u2013190"},{"key":"9826_CR28","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/1791194.1791203","volume-title":"Proceedings of the Workshop on Binary Instrumentation and Applications","author":"K Serebryany","year":"2009","unstructured":"Serebryany K, Iskhodzhanov T. ThreadSanitizer: data race detection in practice. In: Proceedings of the Workshop on Binary Instrumentation and Applications, New York, 2009. 62\u201371"},{"key":"9826_CR29","first-page":"201","volume-title":"Acculock: accurate and efficient detection of data races","author":"X W Xie","year":"2011","unstructured":"Xie X W, Xue J L. Acculock: accurate and efficient detection of data races. In: Proceedings of the 9th International Symposiumon Code Generation and Optimization, Nanjing, 2011. 201\u2013212"},{"key":"9826_CR30","first-page":"221","volume-title":"RaceTrack: efficient detection of data race conditions via adaptive tracking","author":"Y Yu","year":"2005","unstructured":"Yu Y, Rodeheffer T, Chen W. RaceTrack: efficient detection of data race conditions via adaptive tracking. In: Proceedings of ACM Symposium on Operating Systems Principles, Brighton, 2005. 221\u2013234"},{"key":"9826_CR31","first-page":"387","volume-title":"Sound predictive race detection in polynomial time","author":"S Yannis","year":"2012","unstructured":"Yannis S, Jacob M E, Caitlin S, et al. Sound predictive race detection in polynomial time. In: Proceedings of the 39th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Philadelphia, 2012. 387\u2013399"},{"key":"9826_CR32","first-page":"157","volume-title":"Dynamic race prediction in linear time","author":"K Dileep","year":"2017","unstructured":"Dileep K, Umang M, Mahesh V. Dynamic race prediction in linear time. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelona, 2017. 157\u2013170"},{"key":"9826_CR33","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S Savage","year":"1997","unstructured":"Savage S, Burrows M, Nelson G, et al. Eraser: a dynamic data race detector for multithreaded programs. ACM Trans Comput Syst, 1997, 15: 391\u2013411","journal-title":"ACM Trans Comput Syst"},{"key":"9826_CR34","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/1542476.1542490","volume-title":"Proceedings of the 30th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"C Flanagan","year":"2009","unstructured":"Flanagan C, Freund S N. FastTrack: efficient and precise dynamic race detection. In: Proceedings of the 30th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation, Dublin, 2009. 121\u2013133"},{"key":"9826_CR35","first-page":"11","volume-title":"Race directed random testing of concurrent programs","author":"K Sen","year":"2008","unstructured":"Sen K. Race directed random testing of concurrent programs. In: Proceedings of the 29th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation, Tucson, 2008. 11\u201321"},{"key":"9826_CR36","first-page":"167","volume-title":"Hybrid dynamic data race detection","author":"R Callahan","year":"2003","unstructured":"Callahan R, Choi J D. Hybrid dynamic data race detection. In: Proceedings of the 9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, California, 2003. 167\u2013178"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-018-9826-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-018-9826-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-018-9826-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,17]],"date-time":"2022-09-17T20:59:00Z","timestamp":1663448340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-018-9826-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,8]]},"references-count":36,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["9826"],"URL":"https:\/\/doi.org\/10.1007\/s11432-018-9826-x","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,5,8]]},"assertion":[{"value":"31 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 November 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 February 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 May 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"62101"}}