{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T07:04:26Z","timestamp":1751094266901},"reference-count":14,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Softw."],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1109\/ms.2022.3179773","type":"journal-article","created":{"date-parts":[[2022,6,3]],"date-time":"2022-06-03T19:42:43Z","timestamp":1654285363000},"page":"32-37","source":"Crossref","is-referenced-by-count":1,"title":["The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report"],"prefix":"10.1109","volume":"39","author":[{"given":"Theo","family":"Zimmermann","sequence":"first","affiliation":[{"name":"Inria, Université Paris Cité, French National Centre for Scientific Research, and Institut de Recherche en Informatique Fondamentale"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Coolen","sequence":"additional","affiliation":[{"name":"Université Paris Cité"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Gross","sequence":"additional","affiliation":[{"name":"Machine Intelligence Research Institute"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Marie","family":"Pedrot","sequence":"additional","affiliation":[{"name":"Inria and Le Laboratoire des Sciences du Numérique de Nantes"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaetan","family":"Gilbert","sequence":"additional","affiliation":[{"name":"Inria and Le Laboratoire des Sciences du Numérique de Nantes"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","author":"leroy","year":"2020","journal-title":"The OCaml system release 4 11 Documentation and user’s manual"},{"key":"ref11","article-title":".","author":"hallin","year":"2022","journal-title":"graphql-ppx"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2750858.2805830"},{"key":"ref13","author":"rahmati","year":"2017","journal-title":"IFTTT vs Zapier A comparative study of trigger-action programming frameworks"},{"key":"ref14","author":"kinsman","year":"2021","journal-title":"How do software developers use GitHub Actions to automate their workflows?"},{"key":"ref4","year":"2022","journal-title":"The Coq Proof Assistant"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3512765"},{"key":"ref6","article-title":".","author":"mcminn","year":"2022","journal-title":"New checks API public beta"},{"key":"ref5","author":"zimmermann","year":"2019","journal-title":"Challenges in the collaborative evolution of a proof language and its ecosystem"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/BotSE.2019.00018"},{"key":"ref7","article-title":"Automatic test-case reduction in proof assistants: A case study in Coq","author":"gross","year":"0","journal-title":"Proc 13th Conf Interactive Theorem Proving to be published"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/BotSE.2019.00021"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3274451"},{"key":"ref9","article-title":".","author":"keepers","year":"2022","journal-title":"Probot A framework for building GitHub Apps to automate and improve your workflow"}],"container-title":["IEEE Software"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/52\/9864592\/09787778.pdf?arnumber=9787778","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,19]],"date-time":"2022-09-19T19:52:13Z","timestamp":1663617133000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9787778\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9]]},"references-count":14,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/ms.2022.3179773","relation":{},"ISSN":["0740-7459","1937-4194"],"issn-type":[{"value":"0740-7459","type":"print"},{"value":"1937-4194","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9]]}}}