{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:57:49Z","timestamp":1743044269031,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031562808"},{"type":"electronic","value":"9783031562815"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-56281-5_3","type":"book-chapter","created":{"date-parts":[[2024,4,11]],"date-time":"2024-04-11T23:02:46Z","timestamp":1712876566000},"page":"41-52","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Datalog for\u00a0Effective Continuous Integration Policy Evaluation"],"prefix":"10.1007","author":[{"given":"Kaarel","family":"Loide","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2679-6639","authenticated-orcid":false,"given":"Bruno Rucy Carneiro Alves","family":"de Lima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pelle","family":"Jakovits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jevgeni","family":"Demidov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"3_CR1","unstructured":"Apache kafka (2022). https:\/\/kafka.apache.org\/"},{"key":"3_CR2","unstructured":"Isolate containers with a user namespace (2022). https:\/\/docs.docker.com\/engine\/security\/userns-remap\/"},{"key":"3_CR3","unstructured":"Metric definitions (2022). https:\/\/docs.sonarqube.org\/latest\/user-guide\/metric-definitions\/"},{"key":"3_CR4","unstructured":"Open policy agent: Introduction (2022). https:\/\/www.openpolicyagent.org\/docs\/latest\/"},{"key":"3_CR5","unstructured":"Production-grade container orchestration (2022). https:\/\/kubernetes.io\/"},{"key":"3_CR6","unstructured":"Redis (2022). https:\/\/redis.io\/"},{"key":"3_CR7","unstructured":"Dockerfile reference (2023). https:\/\/docs.docker.com\/engine\/reference\/builder\/"},{"key":"3_CR8","unstructured":"Open policy agent (2023). https:\/\/github.com\/open-policy-agent\/opa"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Abad, Z.S., Karras, O., Schneider, K., Barker, K., Bauer, M.: Task interruption in software development projects. In: Proceedings of the 22nd International Conference on Evaluation and Assessment in Software Engineering 2018 (2018). https:\/\/doi.org\/10.1145\/3210459.3210471","DOI":"10.1145\/3210459.3210471"},{"key":"3_CR10","doi-asserted-by":"publisher","unstructured":"Baset, S., Suneja, S., Bila, N., Tuncer, O., Isci, C.: Usable declarative configuration specification and validation for applications, systems, and cloud. Proceedings of the 18th ACM\/IFIP\/USENIX Middleware Conference on Industrial Track - Middleware \u201917 (2017). https:\/\/doi.org\/10.1145\/3154448.3154453","DOI":"10.1145\/3154448.3154453"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Bourhis, P., Reutter, J.L., Su\u00e1rez, F., Vrgoc, D.: JSON: data model, query languages and schema specification. In: Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (2017). https:\/\/api.semanticscholar.org\/CorpusID:18059418","DOI":"10.1145\/3034786.3056120"},{"issue":"1","key":"3_CR12","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about Datalog (and never dared to ask). IEEE Trans. Knowl. Data Eng. 1(1), 146\u2013166 (1989). https:\/\/doi.org\/10.1109\/69.43410","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"3_CR13","doi-asserted-by":"publisher","unstructured":"Huang, P., Bolosky, W.J., Singh, A., Zhou, Y.: Confvalley. In: Proceedings of the Tenth European Conference on Computer Systems (2015). https:\/\/doi.org\/10.1145\/2741948.2741963","DOI":"10.1145\/2741948.2741963"},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Leite, L., Rocha, C., Kon, F., Milojicic, D., Meirelles, P.: A survey of DevOps concepts and challenges. ACM Comput. Surv. 52(6), 1-35 (2019). https:\/\/doi.org\/10.1145\/3359981. cited By 47","DOI":"10.1145\/3359981"},{"key":"3_CR15","unstructured":"Lian, X., Chen, Y., Cheng, R., Huang, J., Thakkar, P., Xu, T.: Configuration validation with large language models. arXiv:abs\/2310.09690 (2023). https:\/\/api.semanticscholar.org\/CorpusID:264146437"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Palatin, N., Leizarowitz, A., Schuster, A., Wolff, R.: Mining for misconfigured machines in grid systems. In: Knowledge Discovery and Data Mining (2006). https:\/\/api.semanticscholar.org\/CorpusID:52835750","DOI":"10.1145\/1150402.1150488"},{"key":"3_CR17","unstructured":"Paljasma, T.: Validating docker image and container security using best practices and company policies (2019). https:\/\/digikogu.taltech.ee\/et\/Item\/b9367be6-0646-4c2f-b32b-56ee8a024f0d"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Pranata, A.A., Barais, O., Bourcier, J., Noirie, L.: Misconfiguration discovery with principal component analysis for cloud-native services. In: 2020 IEEE\/ACM 13th International Conference on Utility and Cloud Computing (UCC), pp. 269\u2013278 (2020). https:\/\/api.semanticscholar.org\/CorpusID:230511700","DOI":"10.1109\/UCC48980.2020.00045"},{"key":"3_CR19","unstructured":"Roziere, B., et al.: Code Llama: open foundation models for code. arXiv preprint: arXiv:2308.12950 (2023)"},{"key":"3_CR20","unstructured":"Sun, X., Cheng, R., Chen, J., Ang, E., Legunsen, O., Xu, T.: Testing configuration changes in context to prevent production failures. In: OSDI (2020)"},{"key":"3_CR21","doi-asserted-by":"publisher","unstructured":"Tuncer, O., Bila, N., Duri, S., Isci, C., Coskun, A.K.: ConfEX: towards automating software configuration analytics in the cloud. In: 2018 48th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), pp. 30\u201333 (2018). https:\/\/doi.org\/10.1109\/DSN-W.2018.00019","DOI":"10.1109\/DSN-W.2018.00019"},{"key":"3_CR22","unstructured":"Wei, J., et al.: Emergent abilities of large language models. arXiv preprint: arXiv:2206.07682 (2022)"},{"key":"3_CR23","unstructured":"Xu, T., Legunsen, O.: Configuration testing: testing configuration values as code and with code. arxiv Software Engineering (2019)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Zhao, D., Subotic, P., Scholz, B.: Debugging large-scale datalog. ACM Trans. Program. Lang. Syst. (TOPLAS) 42, 1\u201335 (2020). https:\/\/api.semanticscholar.org\/CorpusID:218905148","DOI":"10.1145\/3379446"}],"container-title":["Lecture Notes in Business Information Processing","Software Quality as a Foundation for Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-56281-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,11]],"date-time":"2024-04-11T23:03:09Z","timestamp":1712876589000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-56281-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031562808","9783031562815"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-56281-5_3","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"12 April 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SWQD","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Quality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2024","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":"swqd2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.software-quality-days.com","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":"16","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":"7","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":"2","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":"44% - 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":"4","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","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)"}}]}}