{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:49Z","timestamp":1750220869765,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T00:00:00Z","timestamp":1564963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,5]]},"DOI":"10.1145\/3300061.3300134","type":"proceedings-article","created":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T13:20:41Z","timestamp":1565011241000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Systematic Way to LTE Testing"],"prefix":"10.1145","author":[{"given":"Muhammad Taqi","family":"Raza","sequence":"first","affiliation":[{"name":"University of California, Los Angeles, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Songwu","family":"Lu","sequence":"additional","affiliation":[{"name":"University of California, Los Angeles, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,8,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Protocol conformance specification","author":"GPP TS","year":"2018","unstructured":"3 GPP TS 36.523--1 : Protocol conformance specification , 2018 . 3GPP TS 36.523--1: Protocol conformance specification, 2018."},{"key":"e_1_3_2_1_2_1","unstructured":"Anite maintains LTE conformance testing lead. http:\/\/www.anite.com\/businesses\/handset-testing\/n ews\/anite-maintains-lte-conformance-testing-lead.  Anite maintains LTE conformance testing lead. http:\/\/www.anite.com\/businesses\/handset-testing\/n ews\/anite-maintains-lte-conformance-testing-lead."},{"key":"e_1_3_2_1_3_1","unstructured":"Anritsu conformance test systems. https:\/\/www.anritsu.com\/en-US\/test-measurement\/m obile-wireless-communications\/conformance-test-s ystems.  Anritsu conformance test systems. https:\/\/www.anritsu.com\/en-US\/test-measurement\/m obile-wireless-communications\/conformance-test-s ystems."},{"key":"e_1_3_2_1_4_1","unstructured":"Anite conformance test systems. http:\/\/www.anite.com\/businesses\/handset-testing\/our -products.  Anite conformance test systems. http:\/\/www.anite.com\/businesses\/handset-testing\/our -products."},{"key":"e_1_3_2_1_5_1","unstructured":"Anritsu: How conformance tests are carried out. http:\/\/dl.cdn-anritsu.com\/en-en\/test-measurement\/fil es\/Product-Introductions\/Product-Introduction\/me78 73la-el1100.pdf.  Anritsu: How conformance tests are carried out. http:\/\/dl.cdn-anritsu.com\/en-en\/test-measurement\/fil es\/Product-Introductions\/Product-Introduction\/me78 73la-el1100.pdf."},{"key":"e_1_3_2_1_6_1","unstructured":"Anite test documents. http:\/\/www.keysight.com\/en\/pd-2372474-pn-E7515A\/ uxm-wireless-test-set?pm=PL&nid=-33762.1078013 &cc=US&lc=eng.  Anite test documents. http:\/\/www.keysight.com\/en\/pd-2372474-pn-E7515A\/ uxm-wireless-test-set?pm=PL&nid=-33762.1078013 &cc=US&lc=eng."},{"key":"e_1_3_2_1_7_1","unstructured":"UE demonstration of conformance testing -- Anite. http:\/\/www.anite.com\/businesses\/handset-testing\/our -products.  UE demonstration of conformance testing -- Anite. http:\/\/www.anite.com\/businesses\/handset-testing\/our -products."},{"key":"e_1_3_2_1_8_1","unstructured":"3GPP implementation conformance statement. http:\/\/www.etsi.org\/deliver\/etsi_ts\/136500_136599\/1 3652302\/11.03.00_60\/ts_13652302v110300p.pdf.  3GPP implementation conformance statement. http:\/\/www.etsi.org\/deliver\/etsi_ts\/136500_136599\/1 3652302\/11.03.00_60\/ts_13652302v110300p.pdf."},{"key":"e_1_3_2_1_9_1","first-page":"261","volume":"8","author":"Gruber H.","year":"2007","unstructured":"H. Gruber and M. Holzer . Computational Complexity of NFA Minimization for Finite and Unary Languages. LATA , 8 : 261 -- 272 , 2007 . H. Gruber and M. Holzer. Computational Complexity of NFA Minimization for Finite and Unary Languages. LATA, 8:261--272, 2007.","journal-title":"LATA"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2011.5934986"},{"key":"e_1_3_2_1_11_1","unstructured":"M. Sipser. Chapter 1: Regular languages. Introduction to the Theory of Computation pages 31--90 1998.  M. Sipser. Chapter 1: Regular languages. Introduction to the Theory of Computation pages 31--90 1998."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.32.0114"},{"key":"e_1_3_2_1_13_1","volume-title":"Thomson Course Technology Boston","author":"Sipser M.","year":"2006","unstructured":"M. Sipser . Theorem 1. 19 in Introduction to the Theory of Computation, volume 2 . Thomson Course Technology Boston , 2006 . M. Sipser. Theorem 1.19 in Introduction to the Theory of Computation, volume 2. Thomson Course Technology Boston, 2006."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1971.223108"},{"key":"e_1_3_2_1_15_1","volume-title":"International Workshop on Implementing Automata","author":"Salomaa K.","year":"1996","unstructured":"K. Salomaa and S. Yu . NFA to DFA transformation for finite languages . In International Workshop on Implementing Automata , 1996 . K. Salomaa and S. Yu. NFA to DFA transformation for finite languages. In International Workshop on Implementing Automata, 1996."},{"key":"e_1_3_2_1_16_1","volume-title":"Inf & Sys Sciences","author":"Mandl R.","year":"1973","unstructured":"R. Mandl . Precise bounds associated with the subset construction on various classes of nondeterministic finite automata . In Inf & Sys Sciences , 1973 . R. Mandl. Precise bounds associated with the subset construction on various classes of nondeterministic finite automata. In Inf & Sys Sciences, 1973."},{"key":"e_1_3_2_1_17_1","first-page":"96","article-title":"Split and join for minimizing: Brzozowski's algorithm","volume":"2002","author":"Champarnaud J.-M.","year":"2002","unstructured":"J.-M. Champarnaud , A. Khorsi , and T. Parantho\u00ebn . Split and join for minimizing: Brzozowski's algorithm . Stringology , 2002 : 96 -- 104 , 2002 . J.-M. Champarnaud, A. Khorsi, and T. Parantho\u00ebn. Split and join for minimizing: Brzozowski's algorithm. Stringology, 2002:96--104, 2002.","journal-title":"Stringology"},{"volume-title":"states in kf in ite automaton","year":"1971","key":"e_1_3_2_1_18_1","unstructured":"Hopcroft. An\/n log n algo for minimiz. states in kf in ite automaton . 1971 . Hopcroft. An\/n log n algo for minimiz. states in kf in ite automaton. 1971."},{"key":"e_1_3_2_1_19_1","volume-title":"On the performance of automata minimization algorithms. Logic and Theory of Algorithms, page 3","author":"Almeida M.","year":"2007","unstructured":"M. Almeida , N. Moreira , and R. Reis . On the performance of automata minimization algorithms. Logic and Theory of Algorithms, page 3 , 2007 . M. Almeida, N. Moreira, and R. Reis. On the performance of automata minimization algorithms. Logic and Theory of Algorithms, page 3, 2007."},{"key":"e_1_3_2_1_20_1","volume-title":"DFA minimization: from Brzozowski to Hopcroft","author":"G\u00f3mez","year":"2013","unstructured":"G\u00f3mez and et al. DFA minimization: from Brzozowski to Hopcroft . 2013 . G\u00f3mez and et al. DFA minimization: from Brzozowski to Hopcroft. 2013."},{"key":"e_1_3_2_1_21_1","volume-title":"Non-Access-Stratum (NAS) protocol for Evolved Packet System (EPS)","author":"GPP.","year":"2018","unstructured":"3 GPP. TS24.301 : Non-Access-Stratum (NAS) protocol for Evolved Packet System (EPS) ; Stage 3, Jun. 2018 . 3GPP. TS24.301: Non-Access-Stratum (NAS) protocol for Evolved Packet System (EPS); Stage 3, Jun. 2018."},{"key":"e_1_3_2_1_22_1","volume-title":"Radio Resource Control (RRC)","author":"GPP.","year":"2018","unstructured":"3 GPP. TS36.331 : Radio Resource Control (RRC) , 2018 . 3GPP. TS36.331: Radio Resource Control (RRC), 2018."},{"key":"e_1_3_2_1_23_1","unstructured":"Anritsu: verification and test for deployment of LTE. http:\/\/www.chinacom.tw\/ngn2010\/pdf\/ngn\/Anritsu. pdf.  Anritsu: verification and test for deployment of LTE. http:\/\/www.chinacom.tw\/ngn2010\/pdf\/ngn\/Anritsu. pdf."},{"key":"e_1_3_2_1_24_1","unstructured":"Easy Concurrency for C++. https:\/\/www.cs.kent.ac.uk\/projects\/ofa\/c++csp\/.  Easy Concurrency for C++. https:\/\/www.cs.kent.ac.uk\/projects\/ofa\/c++csp\/."},{"key":"e_1_3_2_1_25_1","unstructured":"DFA minimization using Hopcroft alogirithm: C++ implementation. http:\/\/www.cs.tut.fi\/~ava\/DFA_minimizer.cc.  DFA minimization using Hopcroft alogirithm: C++ implementation. http:\/\/www.cs.tut.fi\/~ava\/DFA_minimizer.cc."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626302"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486006"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1890736.1890741"},{"key":"e_1_3_2_1_29_1","volume-title":"Network and Distributed Systems Security (NDSS) Symposium 2018","author":"Rafiul Syed","year":"2018","unstructured":"Hussain, Syed Rafiul and Chowdhury, Omar and Mehnaz , Shagufta and Bertino , Elisa. LTEInspector : A Systematic Approach for Adversarial Testing of 4G LTE . In Network and Distributed Systems Security (NDSS) Symposium 2018 , 2018 . Hussain, Syed Rafiul and Chowdhury, Omar and Mehnaz, Shagufta and Bertino, Elisa. LTEInspector: A Systematic Approach for Adversarial Testing of 4G LTE. In Network and Distributed Systems Security (NDSS) Symposium 2018, 2018."},{"key":"e_1_3_2_1_30_1","volume-title":"Practical attacks against privacy and availability in 4G\/LTE mobile communication systems","author":"Shaik A.","year":"2015","unstructured":"A. Shaik and Practical attacks against privacy and availability in 4G\/LTE mobile communication systems . 2015 . A. Shaik and et al. Practical attacks against privacy and availability in 4G\/LTE mobile communication systems. 2015."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/APCC.2016.7581428"},{"key":"e_1_3_2_1_32_1","volume-title":"IEEE IMCEC","author":"Zhao H.","year":"2016","unstructured":"H. Zhao and H. Jiang . LTE-M system performance of integrated services based on field test results . In IEEE IMCEC , 2016 . H. Zhao and H. Jiang. LTE-M system performance of integrated services based on field test results. In IEEE IMCEC, 2016."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/BWCCA.2015.42"},{"key":"e_1_3_2_1_34_1","volume-title":"IEEE Globecom Workshops","author":"Gerasimenko","year":"2012","unstructured":"Gerasimenko and et al. Energy and delay analysis of LTE-advanced RACH performance under MTC overload . In IEEE Globecom Workshops , 2012 . Gerasimenko and et al. Energy and delay analysis of LTE-advanced RACH performance under MTC overload. In IEEE Globecom Workshops, 2012."},{"key":"e_1_3_2_1_35_1","volume-title":"International Conference on Runtime Verification. Springer","author":"Lahiri Jinghao","year":"2016","unstructured":"Shi, Jinghao and Lahiri , Shuvendu K and Chandra , Ranveer and Challen , Geoffrey. Wireless protocol validation under uncertainty . In International Conference on Runtime Verification. Springer , 2016 . Shi, Jinghao and Lahiri, Shuvendu K and Chandra, Ranveer and Challen, Geoffrey. Wireless protocol validation under uncertainty. In International Conference on Runtime Verification. Springer, 2016."},{"key":"e_1_3_2_1_36_1","volume-title":"NSDI","author":"Kaveh Seyed","year":"2016","unstructured":"Fayaz, Seyed Kaveh and Yu, Tianlong and Tobioka , Yoshiaki and Chaki , Sagar and Sekar , Vyas. BUZZ : Testing Context-Dependent Policies in Stateful Networks . In NSDI , 2016 . Fayaz, Seyed Kaveh and Yu, Tianlong and Tobioka, Yoshiaki and Chaki, Sagar and Sekar, Vyas. BUZZ: Testing Context-Dependent Policies in Stateful Networks. In NSDI, 2016."},{"key":"e_1_3_2_1_37_1","volume-title":"International Conference on Network Protocols. IEEE","author":"Netravali David","year":"1997","unstructured":"Lee, David and Netravali , Arun N and Sabnani , Krishan K and Sugla , Binay and John , Ajita. Passive testing and applications to network management . In International Conference on Network Protocols. IEEE , 1997 . Lee, David and Netravali, Arun N and Sabnani, Krishan K and Sugla, Binay and John, Ajita. Passive testing and applications to network management. In International Conference on Network Protocols. IEEE, 1997."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_39_1","volume-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer","author":"P'sreanu Sarfraz","year":"2003","unstructured":"Khurshid, Sarfraz and P'sreanu , Corina S and Visser , Willem. Generalized symbolic execution for model checking and testing . In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer , 2003 . Khurshid, Sarfraz and P'sreanu, Corina S and Visser, Willem. Generalized symbolic execution for model checking and testing. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 2003."},{"key":"e_1_3_2_1_40_1","volume-title":"International Conference on Computer Aided Verification. Springer","author":"Janssen Paul","year":"2016","unstructured":"Fiteru-Brotean, Paul and Janssen , Ramon and Vaandrager , Frits. Combining model learning and model checking to analyze TCP implementations . In International Conference on Computer Aided Verification. Springer , 2016 . Fiteru-Brotean, Paul and Janssen, Ramon and Vaandrager, Frits. Combining model learning and model checking to analyze TCP implementations. In International Conference on Computer Aided Verification. Springer, 2016."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0613-x"}],"event":{"name":"MobiCom '19: The 25th Annual International Conference on Mobile Computing and Networking","sponsor":["SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing"],"location":"Los Cabos Mexico","acronym":"MobiCom '19"},"container-title":["The 25th Annual International Conference on Mobile Computing and Networking"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3300061.3300134","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3300061.3300134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:52Z","timestamp":1750202632000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3300061.3300134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,5]]},"references-count":43,"alternative-id":["10.1145\/3300061.3300134","10.1145\/3300061"],"URL":"https:\/\/doi.org\/10.1145\/3300061.3300134","relation":{},"subject":[],"published":{"date-parts":[[2019,8,5]]},"assertion":[{"value":"2019-08-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}