{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:08:59Z","timestamp":1740100139973,"version":"3.37.3"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,13]]},"DOI":"10.1145\/3464971.3468423","type":"proceedings-article","created":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T22:07:03Z","timestamp":1625782023000},"page":"39-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["IntelliJML: a JML plugin for IntelliJ IDEA"],"prefix":"10.1145","author":[{"given":"Steven","family":"Monteiro","sequence":"first","affiliation":[{"name":"University of Twente, Netherlands"}]},{"given":"Erikas","family":"Sokolovas","sequence":"additional","affiliation":[{"name":"University of Twente, Netherlands"}]},{"given":"Ellen","family":"Wittingen","sequence":"additional","affiliation":[{"name":"University of Twente, Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5366-1051","authenticated-orcid":false,"given":"Tom van","family":"Dijk","sequence":"additional","affiliation":[{"name":"University of Twente, Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4467-072X","authenticated-orcid":false,"given":"Marieke","family":"Huisman","sequence":"additional","affiliation":[{"name":"University of Twente, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2021,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-64354-6"},{"key":"e_1_3_2_1_2_1","unstructured":"N. Chashikov. 2018. Extract Java support to a separate plugin in IntelliJ IDEA. https:\/\/youtrack.jetbrains.com\/issue\/IDEA-195719 N. Chashikov. 2018. Extract Java support to a separate plugin in IntelliJ IDEA. https:\/\/youtrack.jetbrains.com\/issue\/IDEA-195719"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.149.8"},{"key":"e_1_3_2_1_4_1","unstructured":"D. Cok. 2018. OpenJML. https:\/\/www.openjml.org\/ D. Cok. 2018. OpenJML. https:\/\/www.openjml.org\/"},{"key":"e_1_3_2_1_5_1","unstructured":"Eclipse Foundation. 2021. Eclipse. https:\/\/www.eclipse.org\/ Eclipse Foundation. 2021. Eclipse. https:\/\/www.eclipse.org\/"},{"key":"e_1_3_2_1_6_1","unstructured":"S. Gonschorowski. 2018. OpenJML\/ESC. https:\/\/plugins.jetbrains.com\/plugin\/11072-openjml-esc S. Gonschorowski. 2018. OpenJML\/ESC. https:\/\/plugins.jetbrains.com\/plugin\/11072-openjml-esc"},{"key":"e_1_3_2_1_7_1","unstructured":"JetBrains s.r.o. 2021. Implementing a Parser and PSI: IntelliJ Platform Plugin SDK. https:\/\/plugins.jetbrains.com\/docs\/intellij\/implementing-parser-and-psi.html JetBrains s.r.o. 2021. Implementing a Parser and PSI: IntelliJ Platform Plugin SDK. https:\/\/plugins.jetbrains.com\/docs\/intellij\/implementing-parser-and-psi.html"},{"key":"e_1_3_2_1_8_1","unstructured":"JetBrains s.r.o.. 2021. IntelliJ IDEA. https:\/\/www.jetbrains.com\/idea\/ JetBrains s.r.o.. 2021. IntelliJ IDEA. https:\/\/www.jetbrains.com\/idea\/"},{"key":"e_1_3_2_1_9_1","unstructured":"JetBrains s.r.o.. 2021. Program Structure Interface (PSI): IntelliJ Platform Plugin SDK. https:\/\/plugins.jetbrains.com\/docs\/intellij\/psi.html JetBrains s.r.o.. 2021. Program Structure Interface (PSI): IntelliJ Platform Plugin SDK. https:\/\/plugins.jetbrains.com\/docs\/intellij\/psi.html"},{"key":"e_1_3_2_1_10_1","unstructured":"G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. Cok P. M\u00fcller J. Kiniry P. Chalin D. M. Zimmerman and W. Dietl. 2013. JML Reference Manual. https:\/\/www.cs.ucf.edu\/~leavens\/JML\/refman\/jmlrefman.pdf G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. Cok P. M\u00fcller J. Kiniry P. Chalin D. M. Zimmerman and W. Dietl. 2013. JML Reference Manual. https:\/\/www.cs.ucf.edu\/~leavens\/JML\/refman\/jmlrefman.pdf"},{"key":"e_1_3_2_1_11_1","unstructured":"D. D. McCracken and E. D. Reilly. 2003. Backus-Naur Form (BNF). John Wiley and Sons Ltd. GBR. 129\u2013131. isbn:0470864125 D. D. McCracken and E. D. Reilly. 2003. Backus-Naur Form (BNF). John Wiley and Sons Ltd. GBR. 129\u2013131. isbn:0470864125"},{"key":"e_1_3_2_1_12_1","unstructured":"Oracle Corporation. 2021. Oracle Java SE Support Roadmap. https:\/\/www.oracle.com\/java\/technologies\/java-se-support-roadmap.html Oracle Corporation. 2021. Oracle Java SE Support Roadmap. https:\/\/www.oracle.com\/java\/technologies\/java-se-support-roadmap.html"},{"key":"e_1_3_2_1_13_1","unstructured":"T. Parr. 2013. The Definitive ANTLR 4 Reference. The Pragmatic Programmers LLC.. isbn:9781934356999 T. Parr. 2013. The Definitive ANTLR 4 Reference. The Pragmatic Programmers LLC.. isbn:9781934356999"},{"key":"e_1_3_2_1_14_1","volume-title":"Stack Overflow Developer Survey","author":"Overflow Stack","year":"2019","unstructured":"Stack Overflow . 2019. Stack Overflow Developer Survey 2019 . https:\/\/insights.stackoverflow.com\/survey\/2019 Stack Overflow. 2019. Stack Overflow Developer Survey 2019. https:\/\/insights.stackoverflow.com\/survey\/2019"},{"key":"e_1_3_2_1_15_1","volume-title":"https:\/\/www.key-project.org\/applications\/program-verification\/ Accessed at 23th","author":"Project The","year":"2021","unstructured":"The KeY Project . 2018. Program Verification . https:\/\/www.key-project.org\/applications\/program-verification\/ Accessed at 23th April 2021 . The KeY Project. 2018. Program Verification. https:\/\/www.key-project.org\/applications\/program-verification\/ Accessed at 23th April 2021."},{"key":"e_1_3_2_1_16_1","unstructured":"B. Vermeer. 2021. IntelliJ IDEA dominates the IDE market with 62% adoption among JVM developers. https:\/\/snyk.io\/blog\/intellij-idea-dominates-the-ide-market-with-62-adoption-among-jvm-developers\/ B. Vermeer. 2021. IntelliJ IDEA dominates the IDE market with 62% adoption among JVM developers. https:\/\/snyk.io\/blog\/intellij-idea-dominates-the-ide-market-with-62-adoption-among-jvm-developers\/"}],"event":{"name":"ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual Denmark","acronym":"ISSTA '21"},"container-title":["Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3464971.3468423","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T23:04:58Z","timestamp":1697843098000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3464971.3468423"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":16,"alternative-id":["10.1145\/3464971.3468423","10.1145\/3464971"],"URL":"https:\/\/doi.org\/10.1145\/3464971.3468423","relation":{},"subject":[],"published":{"date-parts":[[2021,7,11]]},"assertion":[{"value":"2021-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}