{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T11:46:56Z","timestamp":1649072816964},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,9,29]],"date-time":"2011-09-29T00:00:00Z","timestamp":1317254400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s11334-011-0167-y","type":"journal-article","created":{"date-parts":[[2011,9,28]],"date-time":"2011-09-28T11:34:24Z","timestamp":1317209664000},"page":"237-245","source":"Crossref","is-referenced-by-count":3,"title":["Formal object-oriented development of a voting system test oracle"],"prefix":"10.1007","volume":"7","author":[{"given":"J. Paul","family":"Gibson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Luc","family":"Raffy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Lallet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,9,29]]},"reference":[{"key":"167_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B\u2014System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial JR (2010) Modeling in Event-B\u2014System and Software Engineering. Cambridge University Press, Cambridge"},{"key":"167_CR2","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"JR Abrial","year":"2010","unstructured":"Abrial JR, Butler M, Hallerstede S, Hoang TS, Mehta F, Voisin L (2010) Rodin: an open toolset for modelling and reasoning in Event-B. Int J Softw Tools Technol Transf 12: 447\u2013466","journal-title":"Int J Softw Tools Technol Transf"},{"key":"167_CR3","first-page":"434","volume-title":"ZB, Lecture notes in computer science, vol 3455","author":"F Bouquet","year":"2005","unstructured":"Bouquet F, Dadeau F, Groslambert J (2005) Checking JML specifications with B machines. In: Treharne H, King S, Henson MC, Schneider SA (eds) ZB, Lecture notes in computer science, vol 3455. Springer, Berlin Heidelberg, pp 434\u2013453"},{"key":"167_CR4","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.entcs.2007.01.060","volume":"183","author":"D Cansell","year":"2007","unstructured":"Cansell D, Gibson JP, M\u00e9ry D (2007) Refinement: a constructive approach to formal software design for a secure e-voting interface. Electron Notes Theor Comput Sci 183: 39\u201355","journal-title":"Electron Notes Theor Comput Sci"},{"key":"167_CR5","first-page":"342","volume-title":"FMCO, Lecture notes in Computer Science, vol 4111","author":"P Chalin","year":"2005","unstructured":"Chalin P, Kiniry JR, Leavens GT, Poll E (2005) Beyond assertions: advanced specification and verification with JML and ESC\/Java2. In: de Boer FS, Bonsangue MM, Graf S, de Roever WP (eds) FMCO, Lecture notes in Computer Science, vol 4111. Springer, Berlin, pp 342\u2013363"},{"key":"167_CR6","doi-asserted-by":"crossref","unstructured":"Chaum D (2004) Secret-ballot receipts: true voter-verifiable elections. In: IEEE security & privacy vol 2, No 1. IEEE, pp 38\u201347","DOI":"10.1109\/MSECP.2004.1264852"},{"key":"167_CR7","doi-asserted-by":"crossref","unstructured":"Cheon Y, Leavens GT (2002) A simple and practical approach to unit testing: the JML and JUnit way. In: Proceedings of the 16th European conference on object-oriented programming, ECOOP\u201902. Springer-Verlag, London, UK, pp 231\u2013255","DOI":"10.1007\/3-540-47993-7_10"},{"key":"167_CR8","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/j.entcs.2008.06.008","volume":"214","author":"A Edmunds","year":"2008","unstructured":"Edmunds A, Butler M (2008) Linking Event-B and concurrent object-oriented programs. Electron Notes Theor Comput Sci 214: 159\u2013182","journal-title":"Electron Notes Theor Comput Sci"},{"key":"167_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1155\/2007\/13801","volume":"2007","author":"C Fontaine","year":"2007","unstructured":"Fontaine C, Galand F (2007) A survey of homomorphic encryption for nonspecialists. EURASIP J Inf Secur 2007: 1\u201315","journal-title":"EURASIP J Inf Secur"},{"key":"167_CR10","doi-asserted-by":"crossref","unstructured":"Gibbs TH, Malloy BA, Power JF (2002) Automated validation of class invariants in C++ applications. In: Proceedings of the 17th IEEE international conference on automated software engineering, ASE\u201902. IEEE Computer Society, Washington, DC, USA, pp 205\u2013215","DOI":"10.1109\/ASE.2002.1115014"},{"key":"167_CR11","unstructured":"Gibson JP (1993) Formal object oriented development of software systems using LOTOS. Thesis CSM-114, Stirling University"},{"key":"167_CR12","doi-asserted-by":"crossref","unstructured":"Gibson JP, Lallet E, Raffy JL (2008) Analysis of a distributed e-voting system architecture against quality of service requirements. In: The third international conference on software engineering advances (ICSEA 2008). IEEE Computer Society, pp 58\u201364","DOI":"10.1109\/ICSEA.2008.18"},{"key":"167_CR13","unstructured":"Gibson JP, Lallet E, Raffy JL (2009) Feature interactions in a software product line for e-voting. In: Feature Interactions in Software and Communication Systems X. IOS Press, pp 91\u2013106"},{"key":"167_CR14","doi-asserted-by":"crossref","unstructured":"Gibson JP, Lallet E, Raffy JL (2010) Engineering a distributed e-voting system architecture: meeting critical requirements. In: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23\u201325, 2010, Proceedings, vol 6150. Springer, pp 89\u2013108","DOI":"10.1007\/978-3-642-13556-9_6"},{"key":"167_CR15","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/240795.240798","volume":"XVI","author":"J Hagar","year":"1996","unstructured":"Hagar J, Bieman JM (1996) Using formal specifications as test oracles for system-critical software. Ada Lett XVI: 55\u201372","journal-title":"Ada Lett"},{"issue":"6","key":"167_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1218776.1218793","volume":"31","author":"JR Kiniry","year":"2006","unstructured":"Kiniry JR, Morkan AE, Cochran D, Oostdijk M, Hubbers E (2006) Formal techniques in a remote voting system. SIGSOFT Softw Eng Notes 31(6): 1\u20132","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"167_CR17","first-page":"265","volume-title":"UML Lecture notes in computer science, vol 1939","author":"M Richters","year":"2000","unstructured":"Richters M, Gogolla M (2000) Validating UML models and OCL constraints. In: Evans A, Kent S, Selic B (eds) UML Lecture notes in computer science, vol 1939. Springer, Berlin, pp 265\u2013277"},{"key":"167_CR18","first-page":"579","volume-title":"FM, Lecture notes in computer science, vol 5850","author":"MY Said","year":"2009","unstructured":"Said MY, Butler MJ, Snook CF (2009) Language and tool support for class and state machine refinement in UML-B. In: Cavalcanti A, Dams D (eds) FM, Lecture notes in computer science, vol 5850. Springer, Berlin, pp 579\u2013595"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0167-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-011-0167-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0167-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T17:14:37Z","timestamp":1560705277000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-011-0167-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,29]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["167"],"URL":"https:\/\/doi.org\/10.1007\/s11334-011-0167-y","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9,29]]}}}