{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T19:24:18Z","timestamp":1750361058443,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,14]],"date-time":"2016-05-14T00:00:00Z","timestamp":1463184000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,14]]},"DOI":"10.1145\/2897667.2897671","type":"proceedings-article","created":{"date-parts":[[2016,5,18]],"date-time":"2016-05-18T14:28:05Z","timestamp":1463581685000},"page":"8-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Undertaking the tokeneer challenge in event-b"],"prefix":"10.1145","author":[{"given":"V\u00edctor","family":"Rivera","sequence":"first","affiliation":[{"name":"Innopolis University, Innopolis, Russia"}]},{"given":"Sukriti","family":"Bhattacharya","sequence":"additional","affiliation":[{"name":"University College London, London, U.K."}]},{"given":"N\u00e9stor","family":"Cata\u00f1o","sequence":"additional","affiliation":[{"name":"Innopolis University, Innopolis, Russia"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855020"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0145-y"},{"key":"e_1_3_2_1_3_1","first-page":"343","volume-title":"On the Construction of Programs","author":"Abrial J.-R.","year":"1980"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/552895.857366"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"H.\n       \n      Baumeister\n    .\n      \n  \n   \n  Combining Formal Specifications with Test Driven Development. In C. Zannier and H. Erdogmus and L. Lindstrom editor Extreme Programming and Agile Methods - XP\/Agile Universe\n   \n  2004 volume \n  3134\n   of \n  LNCS pages \n  1\n  --\n  12\n  . \n  Springer Berlin Heidelberg 2004.  H. Baumeister. Combining Formal Specifications with Test Driven Development. In C. Zannier and H. Erdogmus and L. Lindstrom editor Extreme Programming and Agile Methods - XP\/Agile Universe 2004 volume 3134 of LNCS pages 1--12. Springer Berlin Heidelberg 2004.","DOI":"10.1007\/978-3-540-27777-4_1"},{"key":"e_1_3_2_1_6_1","first-page":"2009","article-title":"Correct by Construction","author":"Benveniste M.","year":"2009","journal-title":"Realistic Digital Circuit. RIAB, FMWeek"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1991.0040"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-013-9182-4"},{"key":"e_1_3_2_1_9_1","unstructured":"Ada Core. Tokeneer. http:\/\/www.adacore.com\/sparkpro\/tokeneer\/download accessed in Jan 2016.  Ada Core. Tokeneer. http:\/\/www.adacore.com\/sparkpro\/tokeneer\/download accessed in Jan 2016."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2227428.2227435"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"key":"e_1_3_2_1_12_1","unstructured":"D. Locke B. Andersen B. Brosgoal M. Fulton T. Henties J. Hunt J. Nielsen M. Schoeberl J. Tokar J. Vitek and A. Weillings. Safety Critical Java Specification version 0.78. Technical report The Open Group http:\/\/jcp.org\/aboutJava\/communityprocess\/edr\/jsr302\/index.html 2010.  D. Locke B. Andersen B. Brosgoal M. Fulton T. Henties J. Hunt J. Nielsen M. Schoeberl J. Tokar J. Vitek and A. Weillings. Safety Critical Java Specification version 0.78. Technical report The Open Group http:\/\/jcp.org\/aboutJava\/communityprocess\/edr\/jsr302\/index.html 2010."},{"volume-title":"University of Edinburgh","year":"2010","author":"Padidar S.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2554850.2554897"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"V. Rivera N. Cata\u00f1o T. Wahls and C. Rueda. Code generation for Event-B. To appear in International Journal on STTT 2015.  V. Rivera N. Cata\u00f1o T. Wahls and C. Rueda. Code generation for Event-B. To appear in International Journal on STTT 2015.","DOI":"10.1007\/s10009-015-0381-2"},{"key":"e_1_3_2_1_16_1","first-page":"1","volume-title":"International Journal on Software Tools for Technology Transfer (STTT)","author":"Rivera Victor","year":"2015"},{"key":"e_1_3_2_1_17_1","unstructured":"J. Tretmans and A.l Belinfante. Automatic testing with formal methods. CTIT technical report series Enschede the Netherlands December 2000. University of Twente CTIT.  J. Tretmans and A.l Belinfante. Automatic testing with formal methods. CTIT technical report series Enschede the Netherlands December 2000. University of Twente CTIT."},{"volume-title":"John Wiley & Sons","year":"2004","author":"Wellings A.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSSE.2008.1493"}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\DATC IEEE Computer Society","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Austin Texas","acronym":"ICSE '16"},"container-title":["Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897667.2897671","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2897667.2897671","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:58Z","timestamp":1750222558000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897667.2897671"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":19,"alternative-id":["10.1145\/2897667.2897671","10.1145\/2897667"],"URL":"https:\/\/doi.org\/10.1145\/2897667.2897671","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}