{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:37:42Z","timestamp":1725489462216},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730651"},{"type":"electronic","value":"9783540730668"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73066-8_13","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T04:07:13Z","timestamp":1187410033000},"page":"186-198","source":"Crossref","is-referenced-by-count":0,"title":["A Framework for Testing AIS Implementations"],"prefix":"10.1007","author":[{"given":"Tam\u00e1s","family":"Horv\u00e1th","sequence":"first","affiliation":[]},{"given":"Tibor","family":"Suly\u00e1n","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Service Availability Forum, Application Interface Specification, vol. 1, Overview and Models, SAI-AIS-B.01.01"},{"key":"13_CR2","unstructured":"SAFTest, \n                  \n                    http:\/\/www.saf-test.org\/"},{"key":"13_CR3","unstructured":"SAFTest Next Generation, \n                  \n                    http:\/\/saftest.berlios.de\/"},{"key":"13_CR4","unstructured":"International Organization for Standardization, Information technology \u2013 Open Systems Interconnection \u2013 Conformance testing methodology and framework \u2013 Part 1: General concepts, ISO\/IEC 9646-1:1994"},{"key":"13_CR5","unstructured":"Service Availability Forum, Application Interface Specification, SAI-AIS-A.01.01"},{"key":"13_CR6","unstructured":"Service Availability Forum, Application Interface Specification, vol. 6: Message Service SAI-AIS-MSG-B.01.01"},{"key":"13_CR7","unstructured":"OpenAIS: Standards-Based Cluster Framework. \n                  \n                    http:\/\/developer.osdl.org\/dev\/openais\/"},{"key":"13_CR8","unstructured":"European Telecommunications Standards Institute, Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language, ETSI ES 201 873-1 (v3.1.1), Sophia Antipolis (June 2005)"},{"key":"13_CR9","unstructured":"European Telecommunications Standards Institute, Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 5: TTCN-3 Runtime Interface, ETSI ES 201 873-1 (v3.1.1), Sophia Antipolis (June 2005)"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73066-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T15:27:52Z","timestamp":1550849272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73066-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730651","9783540730668"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73066-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}