{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T13:45:27Z","timestamp":1758807927949,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031103629"},{"type":"electronic","value":"9783031103636"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-10363-6_15","type":"book-chapter","created":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T12:20:21Z","timestamp":1656678021000},"page":"205-219","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for\u00a0OSEK\/VDX Programs"],"prefix":"10.1007","author":[{"given":"Haitao","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bowen","family":"Pu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,7,3]]},"reference":[{"key":"15_CR1","unstructured":"Lemieux, J.: Programming in the OSEK\/VDX Environment. CMP, Suite 200 Lawrence, KS 66046, USA (2001)"},{"issue":"5","key":"15_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11432-016-9039-4","volume":"61","author":"H Zhang","year":"2017","unstructured":"Zhang, H., Cheng, Z., Li, G., Liu, S.: autoC: an efficient translator for model checking deterministic scheduler based OSEK\/VDX applications. Sci. China Inf. Sci. 61(5), 1\u201315 (2017). https:\/\/doi.org\/10.1007\/s11432-016-9039-4","journal-title":"Sci. China Inf. Sci."},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.ins.2017.03.007","volume":"399","author":"KZ Zamli","year":"2017","unstructured":"Zamli, K.Z., Din, F., Kendall, G., Ahmed, B.S.: An experimental study of hyper-heuristic selection and acceptance mechanism for combinatorial t-way test suite generation. Inf. Sci. 399, 121\u2013153 (2017)","journal-title":"Inf. Sci."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Sen, K.: Hybrid concolic testing. In: International Conference on Software Engineering (ICSE), pp. 416\u2013426 (2007)","DOI":"10.1109\/ICSE.2007.41"},{"issue":"3","key":"15_CR5","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1145\/226295.226317","volume":"21","author":"AJ Offutt","year":"1996","unstructured":"Offutt, A.J., Hayes, J.H.: A semantic model of program faults. ACM SIGSOFT Softw. Eng. Notes 21(3), 195\u2013200 (1996)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Cadar, C., et al.: Symbolic execution for software testing in practice-preliminary assessment. In: International Conference on Software Engineering (ICSE), pp. 1066\u20131071 (2011)","DOI":"10.1145\/1985793.1985995"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: The Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13), pp. 263\u2013272 (2005)","DOI":"10.1145\/1081706.1081750"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Bucur, S., Ureche, V., Zamfir, C., Candea, G.: Parallel symbolic execution for automated real-world software testing. In: European Conference on European Conference on Computer Systems, pp. 183\u2013198 (2011)","DOI":"10.1145\/1966445.1966463"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.sysarc.2017.09.008","volume":"81","author":"H Zhang","year":"2017","unstructured":"Zhang, H., Li, G., Sun, D., Lu, Y., Hsu, C.: Verifying cooperative software: a SMT-based bounded model checking approach for deterministic scheduler. J. Syst. Architect. 81, 7\u201316 (2017)","journal-title":"J. Syst. Architect."},{"issue":"3","key":"15_CR10","doi-asserted-by":"publisher","first-page":"1662","DOI":"10.1002\/stvr.1662","volume":"28","author":"H Zhang","year":"2018","unstructured":"Zhang, H., Li, G., Cheng, Z., Xue, J.: Verifying OSEK\/VDX automotive applications: a Spin-based model checking approach. Softw. Test. Verification Reliab. 28(3), 1662 (2018)","journal-title":"Softw. Test. Verification Reliab."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Gass, S.I., Fu, M.C.: Machine learning. Encyclopedia of Operations Research and Management Science, Springer, Boston, MA (2013)","DOI":"10.1007\/978-1-4419-1153-7"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/3-540-36577-X_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Khurshid","year":"2003","unstructured":"Khurshid, S., P\u0102s\u0102reanu, C.S., Visser, W.: Generalized symbolic execution for model checking and testing. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 553\u2013568. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36577-X_40"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Jhala, R., Majumdar, R.: Path slicing. In: Programming Language Design and Implementation, pp. 38\u201347 (2003)","DOI":"10.1145\/1064978.1065016"},{"issue":"9","key":"15_CR14","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1995376.1995394","volume":"54","author":"L De Moura","year":"2011","unstructured":"De Moura, L., Bjorner, N.: Satisfiability Modulo theories: introduction and applications. Commun. ACM 54(9), 69\u201377 (2011)","journal-title":"Commun. ACM"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-319-41591-8_2","volume-title":"Software Engineering and Formal Methods","author":"E \u00c1brah\u00e1m","year":"2016","unstructured":"\u00c1brah\u00e1m, E., Kremer, G.: Satisfiability checking: theory and applications. In: De Nicola, R., K\u00fchn, E. (eds.) SEFM 2016. LNCS, vol. 9763, pp. 9\u201323. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41591-8_2"},{"key":"15_CR16","unstructured":"Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: USENIX Conference on Operating Systems Design & Implementation, pp. 209\u2013224 (2009)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Burnim, J., Sen, K.: Heuristics for scalable dynamic test generation. In: IEEE\/ACM International Conference on Automated Software Engineering, pp. 443\u2013446 (2008)","DOI":"10.1109\/ASE.2008.69"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Collingbourne, P., Cadar, C., Kelly, P.H.J.: Symbolic crosschecking of floating-point and SIMD code. In: Conference on Computer Systems, pp. 315\u2013328 (2011)","DOI":"10.1145\/1966445.1966475"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/978-3-540-73368-3_46","volume-title":"Computer Aided Verification","author":"M Segelken","year":"2007","unstructured":"Segelken, M.: Abstraction and Counterexample-Guided Construction of $$\\omega $$-Automata for Model Checking of Step-Discrete Linear Hybrid Models. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 433\u2013448. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73368-3_46"},{"key":"15_CR20","unstructured":"Majumdar, R., Sen, K.: LATEST: lazy dynamic test input generation. In: Technical Report UCB\/EECS-2007-36, EECS Department, University of California (2007)"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Deifel, H., G\u00f6ttlinger, M., Milius, S., Schr\u00f6der, L., Dietrich, C., L\u00f6hmann, D.: Automatic verification of application-tailored OSEK kernels. In: Formal Methods in Computer Aided Design, pp. 196\u2013203 (2017)","DOI":"10.23919\/FMCAD.2017.8102260"},{"issue":"10","key":"15_CR22","doi-asserted-by":"publisher","first-page":"1678","DOI":"10.1016\/j.jss.2009.04.042","volume":"82","author":"L Waszniowski","year":"2009","unstructured":"Waszniowski, L., Jan, K., Zdenek, H.: Case study on distributed and fault tolerant system modeling based on timed automata. J. Syst. Softw. 82(10), 1678\u20131694 (2009)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-10363-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T08:09:41Z","timestamp":1656749381000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-10363-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031103629","9783031103636"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-10363-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"3 July 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Theoretical Aspects of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 July 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tase2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.cs.ubbcluj.ro\/tase2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","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":"71","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":"21","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":"5","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":"30% - 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","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":"4","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)"}}]}}