{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T04:29:05Z","timestamp":1774672145060,"version":"3.50.1"},"reference-count":44,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T00:00:00Z","timestamp":1589760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000287","name":"Royal Academy of Engineering","doi-asserted-by":"publisher","award":["CiET1718\/45"],"award-info":[{"award-number":["CiET1718\/45"]}],"id":[{"id":"10.13039\/501100000287","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"crossref","award":["EP\/M025756\/1, EP\/R025479\/1, EP\/R025134\/1"],"award-info":[{"award-number":["EP\/M025756\/1, EP\/R025479\/1, EP\/R025134\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003593","name":"CNPq","doi-asserted-by":"crossref","award":["249710\/2013-7"],"award-info":[{"award-number":["249710\/2013-7"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2020,7,31]]},"abstract":"<jats:p>This article addresses refinement and testing based on CSP models, when we distinguish input and output events. In a testing experiment, the tester (or the environment) controls the inputs, and the system under test controls the outputs. The standard models and refinement relations of CSP, however, do not differentiate inputs and outputs and are not, therefore, entirely suitable for testing. Here, we consider an alphabet of events partitioned into inputs and outputs, and we present a novel refusal-testing model for CSP with a notion of input-output refusal-traces refinement. We compare that with the ioco relation often used in testing, and we find that it is more widely applicable and stronger. This means that mistakes found using traditional ioco testing do indicate mistakes in the development. Finally, we provide a CSP testing theory that takes into account inputs and outputs. With our theory, it becomes feasible to develop techniques and tools for automatic generation of realistic and sound tests from CSP models. Our work reconciles the normally disparate areas of refinement and (formal) testing by identifying how ioco testing can be used to inform refinement-based results and vice-versa.<\/jats:p>","DOI":"10.1145\/3379508","type":"journal-article","created":{"date-parts":[[2020,5,21]],"date-time":"2020-05-21T22:23:18Z","timestamp":1590099798000},"page":"1-53","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Inputs and Outputs in CSP"],"prefix":"10.1145","volume":"21","author":[{"given":"Ana","family":"Cavalcanti","sequence":"first","affiliation":[{"name":"University of York, Deramore Lane, York, United Kingdom, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert M.","family":"Hierons","sequence":"additional","affiliation":[{"name":"University of Sheffield, Sheffield, United Kingdom, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sidney","family":"Nogueira","sequence":"additional","affiliation":[{"name":"Universidade Federal Rural de Pernambuco, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,5,18]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.345823"},{"key":"e_1_2_1_2_1","unstructured":"M. Bijl A. Rensink and J. Tretmans. 2003. Component-based Testing with ioco. Technical Report. University of Twente. CTIT Technical Report TR CTIT 03 34.  M. Bijl A. Rensink and J. Tretmans. 2003. Component-based Testing with ioco. Technical Report. University of Twente. CTIT Technical Report TR CTIT 03 34."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.09.008"},{"key":"e_1_2_1_4_1","unstructured":"E. Brinksma. 1988. A theory for the derivation of tests. In Protocol Specification Testing and Verification VIII. North-Holland 63--74.  E. Brinksma. 1988. A theory for the derivation of tests. In Protocol Specification Testing and Verification VIII. North-Holland 63--74."},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 11th IFIP Workshop on Testing of Communicating Systems. Kluwer Academic Publishers, 67--82","author":"Brinksma E.","unstructured":"E. Brinksma , L. Heerink , and J. Tretmans . 1998. Factorized test generation for multi-input\/output transition systems . In Proceedings of the 11th IFIP Workshop on Testing of Communicating Systems. Kluwer Academic Publishers, 67--82 . E. Brinksma, L. Heerink, and J. Tretmans. 1998. Factorized test generation for multi-input\/output transition systems. In Proceedings of the 11th IFIP Workshop on Testing of Communicating Systems. Kluwer Academic Publishers, 67--82."},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 7th International Conference on Formal Engineering Methods (Lecture Notes in Computer Science)","volume":"3785","author":"Briones L. B.","unstructured":"L. B. Briones and E. Brinksma . 2005. Testing real-time multi input-output systems . In Proceedings of the 7th International Conference on Formal Engineering Methods (Lecture Notes in Computer Science) , Vol. 3785 . Springer, 264--279. L. B. Briones and E. Brinksma. 2005. Testing real-time multi input-output systems. In Proceedings of the 7th International Conference on Formal Engineering Methods (Lecture Notes in Computer Science), Vol. 3785. Springer, 264--279."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76650-6_10"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54804-8_29"},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the IFIP International Conference on Testing Software and Systems (Lecture Notes in Computer Science), B. Wolff and F. Zaidi (Eds.). Springer-Verlag. DOI:https:\/\/doi.org\/10","author":"Cavalcanti A. L. C.","unstructured":"A. L. C. Cavalcanti , M.-C. Gaudel , and R. M. Hierons . 2011. Conformance relations for distributed testing based on CSP . In Proceedings of the IFIP International Conference on Testing Software and Systems (Lecture Notes in Computer Science), B. Wolff and F. Zaidi (Eds.). Springer-Verlag. DOI:https:\/\/doi.org\/10 .1007\/978-3-642-24580-0_5 10.1007\/978-3-642-24580-0_5 A. L. C. Cavalcanti, M.-C. Gaudel, and R. M. Hierons. 2011. Conformance relations for distributed testing based on CSP. In Proceedings of the IFIP International Conference on Testing Software and Systems (Lecture Notes in Computer Science), B. Wolff and F. Zaidi (Eds.). Springer-Verlag. DOI:https:\/\/doi.org\/10.1007\/978-3-642-24580-0_5"},{"key":"e_1_2_1_10_1","volume-title":"CSP: A Model and a Testing Theory. Technical Report","author":"Cavalcanti A. L. C.","year":"2017","unstructured":"A. L. C. Cavalcanti , R. Hierons , and S. Nogueira . 2017 . Input and Outputs in CSP: A Model and a Testing Theory. Technical Report . University of York, Department of Computer Science, York, UK . Retrieved from www-users.cs.york.ac.uk\/&sim;alcc\/CHN17.pdf. A. L. C. Cavalcanti, R. Hierons, and S. Nogueira. 2017. Input and Outputs in CSP: A Model and a Testing Theory. Technical Report. University of York, Department of Computer Science, York, UK. Retrieved from www-users.cs.york.ac.uk\/&sim;alcc\/CHN17.pdf."},{"key":"e_1_2_1_11_1","unstructured":"A. L. C. Cavalcanti and R. M. Hierons. 2012. Testing with Inputs and Outputs in CSP\u2014Extended Version. Technical Report. Retrieved from www-users.cs.york.ac.uk\/&sim;alcc\/CH12.pdf.  A. L. C. Cavalcanti and R. M. Hierons. 2012. Testing with Inputs and Outputs in CSP\u2014Extended Version. Technical Report. Retrieved from www-users.cs.york.ac.uk\/&sim;alcc\/CH12.pdf."},{"key":"#cr-split#-e_1_2_1_12_1.1","doi-asserted-by":"crossref","unstructured":"A. L. C. Cavalcanti and R. M. Hierons. 2013. Testing with inputs and outputs in CSP. In Fundamental Approaches to Software Engineering (Lecture Notes in Computer Science) Vol. 7793. 359--374. DOI:https:\/\/doi.org\/10.1007\/978-3-642-37057-1_26 10.1007\/978-3-642-37057-1_26","DOI":"10.1007\/978-3-642-37057-1_26"},{"key":"#cr-split#-e_1_2_1_12_1.2","doi-asserted-by":"crossref","unstructured":"A. L. C. Cavalcanti and R. M. Hierons. 2013. Testing with inputs and outputs in CSP. In Fundamental Approaches to Software Engineering (Lecture Notes in Computer Science) Vol. 7793. 359--374. DOI:https:\/\/doi.org\/10.1007\/978-3-642-37057-1_26","DOI":"10.1007\/978-3-642-37057-1_26"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.9"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-003-0006-5"},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the 15th International Conference on Formal Engineering Methods (Lecture Notes in Computer Science), L. Groves and J. Sung (Eds.)","volume":"8144","author":"Feliachi A.","unstructured":"A. Feliachi , M. C. Gaudel , M. Wenzel , and B. Wolff . 2013. The circus testing theory revisited in Isabelle\/HOL . In Proceedings of the 15th International Conference on Formal Engineering Methods (Lecture Notes in Computer Science), L. Groves and J. Sung (Eds.) , Vol. 8144 . Springer, 243--260. A. Feliachi, M. C. Gaudel, M. Wenzel, and B. Wolff. 2013. The circus testing theory revisited in Isabelle\/HOL. In Proceedings of the 15th International Conference on Formal Engineering Methods (Lecture Notes in Computer Science), L. Groves and J. Sung (Eds.), Vol. 8144. Springer, 243--260."},{"key":"e_1_2_1_16_1","volume-title":"How to combine Z with a process algebra","author":"Fischer C.","unstructured":"C. Fischer . 1998. How to combine Z with a process algebra . In The Z Formal Specification Notation, J. Bowen, A. Fett, and M. Hinchey (Eds.). Springer-Verlag . C. Fischer. 1998. How to combine Z with a process algebra. In The Z Formal Specification Notation, J. Bowen, A. Fett, and M. Hinchey (Eds.). Springer-Verlag."},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the Conference on Tools and Algorithms for the Construction and Analysis of Systems. 187--201","author":"Gibson-Robinson T.","unstructured":"T. Gibson-Robinson , P. Armstrong , A. Boulgakov , and A. W. Roscoe . 2014. FDR3\u2014A modern refinement checker for CSP . In Proceedings of the Conference on Tools and Algorithms for the Construction and Analysis of Systems. 187--201 . T. Gibson-Robinson, P. Armstrong, A. Boulgakov, and A. W. Roscoe. 2014. FDR3\u2014A modern refinement checker for CSP. In Proceedings of the Conference on Tools and Algorithms for the Construction and Analysis of Systems. 187--201."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2018.06.006"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"C. Gregorio-Rodr\u00edguez L. Llana and R. Mart\u00ednez-Torres. 2013. Input-output conformance simulation (iocos) for model-based testing. In Formal Techniques for Distributed Systems D. Beyer and M. Boreale (Eds.). Springer 114--129.  C. Gregorio-Rodr\u00edguez L. Llana and R. Mart\u00ednez-Torres. 2013. Input-output conformance simulation (iocos) for model-based testing. In Formal Techniques for Distributed Systems D. Beyer and M. Boreale (Eds.). Springer 114--129.","DOI":"10.1007\/978-3-642-38592-6_9"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.976937"},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the Conference on Formal Description Techniques and Protocol Specification, Testing, and Verification (IFIP\u201997)","volume":"107","author":"Heerink L.","unstructured":"L. Heerink and J. Tretmans . 1997. Refusal testing for classes of transition systems with inputs and outputs . In Proceedings of the Conference on Formal Description Techniques and Protocol Specification, Testing, and Verification (IFIP\u201997) , Vol. 107 . Chapman 8 Hall, 23--38. L. Heerink and J. Tretmans. 1997. Refusal testing for classes of transition systems with inputs and outputs. In Proceedings of the Conference on Formal Description Techniques and Protocol Specification, Testing, and Verification (IFIP\u201997), Vol. 107. Chapman 8 Hall, 23--38."},{"key":"e_1_2_1_22_1","volume-title":"Unifying Theories of Programming","author":"Hoare C. A. R.","unstructured":"C. A. R. Hoare and He Jifeng . 1998. Unifying Theories of Programming . Prentice-Hall . C. A. R. Hoare and He Jifeng. 1998. Unifying Theories of Programming. Prentice-Hall."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178564"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods. IEEE Computer Society, 237--246","author":"Kahsai T.","year":"2007","unstructured":"T. Kahsai , M. Roggenbach , and B.-H. Schlingloff . 2007 . Specification-based testing for refinement . In Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods. IEEE Computer Society, 237--246 . T. Kahsai, M. Roggenbach, and B.-H. Schlingloff. 2007. Specification-based testing for refinement. In Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods. IEEE Computer Society, 237--246."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the Conference on Principles of Distributed Systems","author":"Krichen M.","unstructured":"M. Krichen . 2010. A formal framework for conformance testing of distributed real-time systems . In Proceedings of the Conference on Principles of Distributed Systems , C. Lu, T. Masuzawa, and M. Mosbah (Eds.). Lecture Notes in Computer Science, Vol. 6490 . Springer , 139--142. M. Krichen. 2010. A formal framework for conformance testing of distributed real-time systems. In Proceedings of the Conference on Principles of Distributed Systems, C. Lu, T. Masuzawa, and M. Mosbah (Eds.). Lecture Notes in Computer Science, Vol. 6490. Springer, 139--142."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0065-0"},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the 20th International Conference on Software Engineering (ICSE\u201998)","author":"Mahony B. P.","unstructured":"B. P. Mahony and J. S. Dong . 1998. Blending object-Z and timed CSP: An introduction to TCOZ . In Proceedings of the 20th International Conference on Software Engineering (ICSE\u201998) . IEEE Computer Society Press, 95--104. B. P. Mahony and J. S. Dong. 1998. Blending object-Z and timed CSP: An introduction to TCOZ. In Proceedings of the 20th International Conference on Software Engineering (ICSE\u201998). IEEE Computer Society Press, 95--104."},{"key":"e_1_2_1_28_1","volume-title":"Communication and Concurrency","author":"Milner R.","unstructured":"R. Milner . 1989. Communication and Concurrency . Prentice-Hall . R. Milner. 1989. Communication and Concurrency. Prentice-Hall."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0258-z"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90117-4"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.007"},{"key":"e_1_2_1_33_1","volume-title":"The Theory and Practice of Concurrency","author":"Roscoe A. W.","unstructured":"A. W. Roscoe . 1998. The Theory and Practice of Concurrency . Prentice-Hall . A. W. Roscoe. 1998. The Theory and Practice of Concurrency. Prentice-Hall."},{"key":"e_1_2_1_34_1","volume-title":"Understanding Concurrent Systems","author":"Roscoe A. W.","unstructured":"A. W. Roscoe . 2011. Understanding Concurrent Systems . Springer . A. W. Roscoe. 2011. Understanding Concurrent Systems. Springer."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1498"},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the Conference on Formal Specification and Development in Z and B(ZB\u201902)","volume":"2272","author":"Schneider S.","unstructured":"S. Schneider and H. Treharne . 2002. Communicating B machines . In Proceedings of the Conference on Formal Specification and Development in Z and B(ZB\u201902) (Lecture Notes in Computer Science), D. Bert, J. Bowen, M. Henson, and K. Robinson (Eds.) , Vol. 2272 . 416--435. S. Schneider and H. Treharne. 2002. Communicating B machines. In Proceedings of the Conference on Formal Specification and Development in Z and B(ZB\u201902) (Lecture Notes in Computer Science), D. Bert, J. Bowen, M. Henson, and K. Robinson (Eds.), Vol. 2272. 416--435."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61042-1_42"},{"key":"e_1_2_1_39_1","first-page":"103","article-title":"Test generation with inputs, outputs and repetitive quiescence","volume":"17","author":"Tretmans J.","year":"1996","unstructured":"J. Tretmans . 1996 . Test generation with inputs, outputs and repetitive quiescence . Softw. Concepts Tools 17 , 3 (1996), 103 -- 120 . J. Tretmans. 1996. Test generation with inputs, outputs and repetitive quiescence. Softw. Concepts Tools 17, 3 (1996), 103--120.","journal-title":"Softw. Concepts Tools"},{"key":"e_1_2_1_40_1","volume-title":"Formal Methods and Testing","author":"Tretmans J.","unstructured":"J. Tretmans . 2008. Model-based testing with labelled transition systems , in Formal Methods and Testing . Springer-Verlag , 1--38. J. Tretmans. 2008. Model-based testing with labelled transition systems, in Formal Methods and Testing. Springer-Verlag, 1--38."},{"key":"e_1_2_1_41_1","volume-title":"Proceedings of the 1st European Conference on Model-Driven Software Engineering. 13--25","author":"Tretmans J.","unstructured":"J. Tretmans and E. Brinksma . 2003. TorX: Automated model-based testing . In Proceedings of the 1st European Conference on Model-Driven Software Engineering. 13--25 . J. Tretmans and E. Brinksma. 2003. TorX: Automated model-based testing. In Proceedings of the 1st European Conference on Model-Driven Software Engineering. 13--25."},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the Conference on Formal Approaches to Software Testing, A. Petrenko and A. Ulrich Andreas (Eds.). Lecture Notes in Computer Science","volume":"2931","author":"van der Bijl M.","unstructured":"M. van der Bijl , A. Rensink , and J. Tretmans . 2004. Compositional testing with ioco . In Proceedings of the Conference on Formal Approaches to Software Testing, A. Petrenko and A. Ulrich Andreas (Eds.). Lecture Notes in Computer Science , Vol. 2931 . Springer, 86--100. M. van der Bijl, A. Rensink, and J. Tretmans. 2004. Compositional testing with ioco. In Proceedings of the Conference on Formal Approaches to Software Testing, A. Petrenko and A. Ulrich Andreas (Eds.). Lecture Notes in Computer Science, Vol. 2931. Springer, 86--100."},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the Conference on Unifying Theories of Programming, A. Butterfield (Ed.). Lecture Notes in Computer Science","volume":"5713","author":"Weiglhofer M.","unstructured":"M. Weiglhofer and B. Aichernig . 2010. Unifying input output conformance . In Proceedings of the Conference on Unifying Theories of Programming, A. Butterfield (Ed.). Lecture Notes in Computer Science , Vol. 5713 . Springer, 181--201. M. Weiglhofer and B. Aichernig. 2010. Unifying input output conformance. In Proceedings of the Conference on Unifying Theories of Programming, A. Butterfield (Ed.). Lecture Notes in Computer Science, Vol. 5713. Springer, 181--201."},{"key":"e_1_2_1_44_1","volume-title":"Proceedings of the Conference on Formal Methods: Applications and Technology (Lecture Notes in Computer Science), L. Brim, B. Haverkort, M. Leucker, and J. van de Pol (Eds.)","volume":"4346","author":"Willemse T. A. C.","year":"2006","unstructured":"T. A. C. Willemse . 2006 . Heuristics for ioco-based test-based modelling . In Proceedings of the Conference on Formal Methods: Applications and Technology (Lecture Notes in Computer Science), L. Brim, B. Haverkort, M. Leucker, and J. van de Pol (Eds.) , Vol. 4346 . Springer, 132--147. T. A. C. Willemse. 2006. Heuristics for ioco-based test-based modelling. In Proceedings of the Conference on Formal Methods: Applications and Technology (Lecture Notes in Computer Science), L. Brim, B. Haverkort, M. Leucker, and J. van de Pol (Eds.), Vol. 4346. Springer, 132--147."},{"key":"e_1_2_1_45_1","unstructured":"J. C. P. Woodcock and J. Davies. 1996. Using Z-Specification Refinement and Proof. Prentice-Hall.  J. C. P. Woodcock and J. Davies. 1996. Using Z-Specification Refinement and Proof. Prentice-Hall."}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3379508","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3379508","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:23Z","timestamp":1750197743000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3379508"}},"subtitle":["A Model and a Testing Theory"],"short-title":[],"issued":{"date-parts":[[2020,5,18]]},"references-count":44,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,7,31]]}},"alternative-id":["10.1145\/3379508"],"URL":"https:\/\/doi.org\/10.1145\/3379508","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"value":"1529-3785","type":"print"},{"value":"1557-945X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,5,18]]},"assertion":[{"value":"2018-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-05-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}