{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:02:29Z","timestamp":1743026549621,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030576714"},{"type":"electronic","value":"9783030576721"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-57672-1_20","type":"book-chapter","created":{"date-parts":[[2020,8,11]],"date-time":"2020-08-11T09:31:47Z","timestamp":1597138307000},"page":"265-279","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Testing of Execution of Concurrent Processes"],"prefix":"10.1007","author":[{"given":"Janis","family":"Bicevskis","sequence":"first","affiliation":[]},{"given":"Girts","family":"Karnitis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,12]]},"reference":[{"issue":"4","key":"20_CR1","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1145\/76894.76897","volume":"21","author":"C Mcdowell","year":"1989","unstructured":"Mcdowell, C., Helmold, D.: Debugging concurrent programs. ACM Comput. Surv. 21(4), 593\u2013622 (1989)","journal-title":"ACM Comput. Surv."},{"key":"20_CR2","unstructured":"Tai, K., Carver, R.: Testing of distributed programs (chap. 33). In: Zomaya, A. (ed.) Parallel and Distributed Computing Handbook. McGraw-Hill, New York (1996)"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/BFb0019362","volume-title":"Baltic Computer Science","author":"A Auzi\u0146\u0161","year":"1991","unstructured":"Auzi\u0146\u0161, A., B\u0101rzdi\u0146\u0161, J., Bi\u010devskis, J., \u010cer\u0101ns, K., Kalni\u0146\u0161, A.: Automatic construction of test sets: theoretical approach. In: B\u0101rzdin\u0161, J., Bj\u00f8rner, D. (eds.) Baltic Computer Science. LNCS, vol. 502, pp. 286\u2013359. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/BFb0019362"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-07389-2_178","volume-title":"Mathematical Foundations of Computer Science 1975 4th Symposium, Mari\u00e1nsk\u00e9 L\u00e1zn\u011b, September 1\u20135, 1975","author":"JM Barzdin","year":"1975","unstructured":"Barzdin, J.M., Bi\u010devskis, J.J., Kalninsh, A.A.: Construction of complete sample system for correctness testing. In: Be\u010dv\u00e1\u0159, J. (ed.) MFCS 1975. LNCS, vol. 32, pp. 1\u201312. Springer, Heidelberg (1975). https:\/\/doi.org\/10.1007\/3-540-07389-2_178"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/2408776.2408795","volume":"56","author":"C Cadar","year":"2013","unstructured":"Cadar, C., Koushnik, S.: Symbolic execution for software testing: three decades later. Commun. ACM 56, 82\u201390 (2013)","journal-title":"Commun. ACM"},{"issue":"8","key":"20_CR6","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1109\/TSE.2017.2707089","volume":"44","author":"F Bianchi","year":"2018","unstructured":"Bianchi, F., Margara, A., Pezz, M.: A survey of recent trends in testing concurrent software systems. IEEE Trans. Softw. Eng. 44(8), 747\u2013783 (2018)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"20_CR7","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Softw. Eng. 37(5), 649\u2013678 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"20_CR8","unstructured":"Musuvathi, M., Qadeer, C., Ball, T.: CHESS: a systematic testing tool for concurrent software. In: Microsoft Research Technical Report MSR-TR-2007-149 (2007)"},{"key":"20_CR9","unstructured":"Deng, Y., Frankl, P., Chen, Z.: Testing database transaction concurrency. In: Automated Software Engineering. Proceedings of the 18th IEEE International Conference, pp. 184\u2013193. IEEE (2003)"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/s11219-017-9385-3","volume":"26","author":"H Fu","year":"2017","unstructured":"Fu, H., Wang, Z., Chen, X., Fan, X.: A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques. Softw. Qual. J. 26, 855\u2013889 (2017). https:\/\/doi.org\/10.1007\/s11219-017-9385-3","journal-title":"Softw. Qual. J."},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-030-03424-5_24","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems","author":"S Cai","year":"2018","unstructured":"Cai, S., Gallina, B., Nystr\u00f6m, D., Seceleanu, C.: Effective test suite design for detecting concurrency control faults in distributed transaction systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 355\u2013374. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03424-5_24"},{"key":"20_CR12","first-page":"17","volume":"14","author":"D Chays","year":"2004","unstructured":"Chays, D., Deng, Y., Frankl, P.G., Dan, S., Vokolos, F., Weyuker, E.: An AGENDA for testing relational database applications. J. Softw.: Test. Verif. Reliab. 14, 17\u201344 (2004)","journal-title":"J. Softw.: Test. Verif. Reliab."},{"issue":"1","key":"20_CR13","first-page":"2004","volume":"30","author":"GH Hwang","year":"2004","unstructured":"Hwang, G.H., Chang, S.J., Chu, H.D.: Technology for testing nondeterministic client\/server database applications. IEEE Trans. Software Eng. 30(1), 2004 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"1294","DOI":"10.1016\/j.scico.2012.06.005","volume":"78","author":"CS Lin","year":"2013","unstructured":"Lin, C.S., Hwang, G.H.: State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences. Sci. Comput. Program. 78, 1294\u20131323 (2013)","journal-title":"Sci. Comput. Program."},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Li, C., Csallner, C.: Dynamic symbolic database application testing. In: DBTest 2010, 7 June 2010 (2010)","DOI":"10.1145\/1838126.1838133"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Marinescu, R., Seceleanu, C., Le Guen, H., Pettersson, P.: A research overview of tool supported model-based testing of requirements-based designs. In: Advances in Computers, vol. 98, pp 89\u2013140 (2015)","DOI":"10.1016\/bs.adcom.2015.03.003"}],"container-title":["Communications in Computer and Information Science","Databases and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-57672-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T08:03:46Z","timestamp":1619251426000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-57672-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030576714","9783030576721"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-57672-1_20","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"12 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DB&IS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Baltic Conference on Databases and Information Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tallinn","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Estonia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dbis2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dbis.ttu.ee\/","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":"52","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":"1","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":"40% - 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.2","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)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}