{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:33:56Z","timestamp":1743028436978,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030912642"},{"type":"electronic","value":"9783030912659"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[[2021]]},"DOI":"10.1007\/978-3-030-91265-9_16","type":"book-chapter","created":{"date-parts":[[2021,11,19]],"date-time":"2021-11-19T11:26:47Z","timestamp":1637321207000},"page":"299-319","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["API Usage Pattern Search Based on Model Checking"],"prefix":"10.1007","author":[{"given":"Xue-er","family":"Ding","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Niu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jia","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,18]]},"reference":[{"issue":"6","key":"16_CR1","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.infsof.2017.07.006","volume":"7","author":"SS Osvaldo","year":"2017","unstructured":"Osvaldo, S.S., Lopes, D., Silva, A.C., et al.: Developing software systems to big data platform based on mapreduce model: an approach based on model driven engineering. Inf. Soft. Tech. 7(6), 30\u201348 (2017)","journal-title":"Inf. Soft. Tech."},{"issue":"2","key":"16_CR2","doi-asserted-by":"publisher","first-page":"2385","DOI":"10.1007\/s00607-020-00833-6","volume":"10","author":"N Mkitalo","year":"2020","unstructured":"Mkitalo, N., Taivalsaari, A., Kiviluoto, A., et al.: On opportunistic software reuse. Computing 10(2), 2385\u20132408 (2020)","journal-title":"Computing"},{"issue":"1","key":"16_CR3","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/1107458.1107461","volume":"49","author":"KC Desouza","year":"2015","unstructured":"Desouza, K.C., Awazu, Y., Tiwana, A.: Four dynamics for bringing use back into software reuse. Commun. ACM 49(1), 96\u2013100 (2015)","journal-title":"Commun. ACM"},{"issue":"110","key":"16_CR4","first-page":"7","volume":"169","author":"Q Shen","year":"2020","unstructured":"Shen, Q., Wu, S., Zou, Y., et al.: From API to NLI: a new interface for library reuse. J. Syst. Softw. 169(110), 7\u201328 (2020)","journal-title":"J. Syst. Softw."},{"issue":"23","key":"16_CR5","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/s10664-017-9521-5","volume":"4","author":"RG Kula","year":"2018","unstructured":"Kula, R.G., German, D.M., Ouni, A., et al.: Do developers update their library dependencies. Empir. Softw. Eng. 4(23), 384\u2013417 (2018)","journal-title":"Empir. Softw. Eng."},{"issue":"4","key":"16_CR6","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1109\/TSE.2017.2782280","volume":"45","author":"H Zhong","year":"2019","unstructured":"Zhong, H., Mei, H.: An empirical study on API usages. IEEE Trans. Softw. Eng. 45(4), 319\u2013334 (2019)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Saied, M.A., Sahraoui, H., Dufour, B.: An observational study on API usage constraints and their documentation. In: 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER). IEEE, pp. 33\u201342 (2015)","DOI":"10.1109\/SANER.2015.7081813"},{"issue":"9","key":"16_CR8","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.jss.2016.07.026","volume":"12","author":"H Niu","year":"2017","unstructured":"Niu, H., Keivanloo, I., Zou, Y., et al.: API usage pattern recommendation for software development. J. Syst. Softw. 12(9), 127\u2013139 (2017)","journal-title":"J. Syst. Softw."},{"issue":"1","key":"16_CR9","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1002\/smr.567","volume":"25","author":"B Dit","year":"2013","unstructured":"Dit, B., Revelle, M., Gethers, M., et al.: Feature location in source code: a taxonomy and survey. J. Softw. Maint. Evol. Res. Pract. 25(1), 53\u201395 (2013)","journal-title":"J. Softw. Maint. Evol. Res. Pract."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Saied, M.A., Benomar, O., Abdeen, H., et al.: Mining multi-level API usage patterns. In: 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER). IEEE, pp. 23\u201332 (2015)","DOI":"10.1109\/SANER.2015.7081812"},{"issue":"53","key":"16_CR11","first-page":"318","volume":"56","author":"H Zhong","year":"2009","unstructured":"Zhong, H., Xie, T., Zhang, L., et al.: MAPO: mining and recommending API usage patterns. Proc Ecoop 56(53), 318\u2013343 (2009)","journal-title":"Proc Ecoop"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Mendez, D., Baudry, B., Monperrus, M.: Empirical evidence of large-scale diversity in API usage of objected-oriented software. In: Proceedings of 13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), pp. 43\u201352 (2013)","DOI":"10.1109\/SCAM.2013.6648183"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Mandelin, D., Xu, L., Bodik, R., et al.: Jungloid mining: helping to navigate the API jungle. Program. Lang. Des. Implementation, ACM Sigplan Not. 40(6), 48\u201361, (2005)","DOI":"10.1145\/1064978.1065018"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Thummalapenta, S., Xie, T.: Parseweb: a programmer assistant for reusing open source code on the web. In: Proceeding soft the twenty-second IEEE\/ACM international conference on Automated software engineering. ACM, New York, pp. 204\u2013213 (2007)","DOI":"10.1145\/1321631.1321663"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Nguyen, A.T., Nguyen, H.A., Nguyen, T.T., et al.: GraPacc: a graph-based pattern-oriented, context-sensitive code completion tool. In: International Conference on Software Engineering. IEEE, NJ, 1407\u20131410 (2012)","DOI":"10.1109\/ICSE.2012.6227236"},{"issue":"11","key":"16_CR16","first-page":"2172","volume":"395","author":"L Chen","year":"2015","unstructured":"Chen, L., Jiang, W., Songlin, H.: An API recommendation system based on a new graph model. Chin. J. Comput. 395(11), 2172\u20132187 (2015)","journal-title":"Chin. J. Comput."},{"key":"16_CR17","unstructured":"Reps, T.W., et al.: Component-based synthesis for complex APIs. In: POPL 2017. ACM, pp. 15\u201321 (2017)"},{"key":"16_CR18","unstructured":"Kaile, S., Abdul, S., Xiangyu, L.: Model checking temporal logics of knowledge via OBDDs1. Comput. J. (4), 403\u2013420"},{"issue":"1","key":"16_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3158668","volume":"28","author":"G Agha","year":"2018","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 1\u201339 (2018)","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"15","key":"16_CR20","first-page":"108","volume":"20","author":"EA Gol","year":"2014","unstructured":"Gol, E.A., Bartocci, E., Belta, C.: A formal methods approach to pattern synthesis in reaction diffusion systems. Eprint Arxiv 20(15), 108\u2013113 (2014)","journal-title":"Eprint Arxiv"},{"issue":"18","key":"16_CR21","first-page":"61","volume":"20","author":"Q Cappart","year":"2016","unstructured":"Cappart, Q., Limbree, C., Schaus, P., et al.: Dependability analysis of control systems using systemC and statistical model checking. Comput. Sci. 20(18), 61\u201368 (2016)","journal-title":"Comput. Sci."},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Raghothaman, M., Wei, Y., Hamadi, Y.: SWIM: Synthesizing what I mean. In: Proceedings of the 38th International Conference on Software Engineering (ICSE), IEEE, pp. 357\u2013367 (2016)","DOI":"10.1145\/2884781.2884808"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Gu, X., Zhang, H., Zhang, D., et al.: Deep API learning. In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. ACM, pp. 13\u201318 (2016)","DOI":"10.1145\/2950290.2950334"},{"issue":"2","key":"16_CR24","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.jlamp.2015.11.006","volume":"85","author":"MH Beek","year":"2016","unstructured":"Beek, M.H., Fantechi, A., Gnesi, S., et al.: Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. J. Logic Algebraic Program. 85(2), 287\u2013315 (2016)","journal-title":"J. Logic Algebraic Program."},{"issue":"15","key":"16_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2017.11.004","volume":"153","author":"E Khamespanah","year":"2018","unstructured":"Khamespanah, E., Khosravi, R., Sirjani, M.: An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models. Sci. Comput. Program. 153(15), 1\u201329 (2018)","journal-title":"Sci. Comput. Program."},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Camilli, M., Bellettini, C., Capra, L., Monga, M.: CTL model checking in the cloud using MapReduce. In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, pp. 333\u2013340 (2014)","DOI":"10.1109\/SYNASC.2014.52"},{"issue":"4","key":"16_CR27","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1016\/j.scico.2014.06.003","volume":"98","author":"M Bozzano","year":"2015","unstructured":"Bozzano, M., Cimatti, A., Lisagor, O., et al.: Safety assessment of AltaR9ica models via symbolic model checking. Ence Comput. Program. 98(4), 464\u2013483 (2015)","journal-title":"Ence Comput. Program."},{"issue":"5","key":"16_CR28","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1109\/TSC.2016.2560165","volume":"9","author":"L Nie","year":"2017","unstructured":"Nie, L., Jiang, H., Ren, Z., et al.: Query expansion based on crowd knowledge for code search. IEEE Trans. Serv. Comput. 9(5), 771\u2013783 (2017)","journal-title":"IEEE Trans. Serv. Comput."},{"issue":"3","key":"16_CR29","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/2581377","volume":"23","author":"KT Stolee","year":"2014","unstructured":"Stolee, K.T., Elbaum, S., Dobos, D.: Solving the search for source code. ACM Trans. Softw. Eng. Methodol. (TOSEM) 23(3), 26\u201367 (2014)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"issue":"4","key":"16_CR30","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.jss.2015.04.081","volume":"116","author":"KT Stolee","year":"2016","unstructured":"Stolee, K.T., Elbaum, S., Dwyer, M.B.: Code search with input\/output queries: generalizing, ranking, and assessment. J. Syst. Softw. 116(4), 35\u201348 (2016)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-91265-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,19]],"date-time":"2021-11-19T11:30:31Z","timestamp":1637321431000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-91265-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030912642","9783030912659"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-91265-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"18 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SETTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Dependable Software Engineering: Theories, Tools, and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Beijing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 November 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 November 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setta2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lcs.ios.ac.cn\/setta2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"39","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"41% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.05","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.53","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}