{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:00Z","timestamp":1750220580584,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,1,17]],"date-time":"2020-01-17T00:00:00Z","timestamp":1579219200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Aviation Science Foundation of China","award":["20185152035"],"award-info":[{"award-number":["20185152035"]}]},{"name":"National Natural Science Foundation of China","award":["61572253"],"award-info":[{"award-number":["61572253"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,1,17]]},"DOI":"10.1145\/3380625.3380659","type":"proceedings-article","created":{"date-parts":[[2020,5,25]],"date-time":"2020-05-25T18:33:06Z","timestamp":1590431586000},"page":"68-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["LRx"],"prefix":"10.1145","author":[{"given":"Mingguang","family":"Hu","sequence":"first","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Key Laboratory of Safety-Critical Software, Ministry of Industry and Information Technology, MIIT Key Laboratory of Pattern Analysis and Machine Intelligence, Nanjing University of Aeronautics and Astronautics, Nanjing, China and Science and Technology on Electro-optic Control Laboratory, Luoyang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zining","family":"Cao","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Key Laboratory of Safety-Critical Software, Ministry of Industry and Information Technology, MIIT Key Laboratory of Pattern Analysis and Machine Intelligence, Nanjing University of Aeronautics and Astronautics, Nanjing, China and Science and Technology on Electro-optic Control Laboratory, Luoyang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"H. Abbas G. Fainekos S. Sankaranarayanan F. Ivancic and A. Gupta. Probabilistic temporal logic falsification of cyber-physical systems. ACM Transactions on Embedded Computing Systems (TECS) 12(2s):95 2013.  H. Abbas G. Fainekos S. Sankaranarayanan F. Ivancic and A. Gupta. Probabilistic temporal logic falsification of cyber-physical systems. ACM Transactions on Embedded Computing Systems (TECS) 12(2s):95 2013.","DOI":"10.1145\/2465787.2465797"},{"key":"e_1_3_2_1_2_1","first-page":"147","volume-title":"International Conference on Runtime Verification","author":"Asarin E.","year":"2011"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"A. Balkan P. Tabuada J. V. Deshmukh X. Jin and J. Kapinski. Underminer: A framework for automatically identifying nonconverging behaviors in black-box system models. A CM Transactions on Embedded Computing Systems (TECS) 17(1):20 2018.  A. Balkan P. Tabuada J. V. Deshmukh X. Jin and J. Kapinski. Underminer: A framework for automatically identifying nonconverging behaviors in black-box system models. A CM Transactions on Embedded Computing Systems (TECS) 17(1):20 2018.","DOI":"10.1145\/3122787"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10512-3_3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-13050-3_4"},{"key":"e_1_3_2_1_7_1","first-page":"104","volume-title":"ARCH@ ADHS","author":"Dokhanchi A.","year":"2018"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.29007\/68dk"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32079-9_3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0447-4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_13"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562140"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2421907"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2585083"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"C.-Y. J. Peng K. L. Lee and G. M. Ingersoll. An introduction to logistic regression analysis and reporting. The journal of educational research 96(1):3--14 2002.  C.-Y. J. Peng K. L. Lee and G. M. Ingersoll. An introduction to logistic regression analysis and reporting. The journal of educational research 96(1):3--14 2002.","DOI":"10.1080\/00220670209598786"}],"event":{"name":"ICMSS 2020: 2020 4th International Conference on Management Engineering, Software Engineering and Service Sciences","sponsor":["China University of Geosciences"],"location":"Wuhan China","acronym":"ICMSS 2020"},"container-title":["Proceedings of the 2020 4th International Conference on Management Engineering, Software Engineering and Service Sciences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3380625.3380659","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3380625.3380659","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:32Z","timestamp":1750195892000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3380625.3380659"}},"subtitle":["Specification Mining based on Logistic Regression"],"short-title":[],"issued":{"date-parts":[[2020,1,17]]},"references-count":16,"alternative-id":["10.1145\/3380625.3380659","10.1145\/3380625"],"URL":"https:\/\/doi.org\/10.1145\/3380625.3380659","relation":{},"subject":[],"published":{"date-parts":[[2020,1,17]]},"assertion":[{"value":"2020-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}