{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:48Z","timestamp":1725558948204},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540251095"},{"type":"electronic","value":"9783540318484"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/978-3-540-31848-4_13","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T15:24:53Z","timestamp":1278343493000},"page":"180-194","source":"Crossref","is-referenced-by-count":2,"title":["High-Level Restructuring of TTCN-3 Test Data"],"prefix":"10.1007","author":[{"given":"Antal","family":"Wu-Hen-Chang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D ung","family":"Le Viet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Batori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roland","family":"Gecse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gyula","family":"Csopaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"ISO 9646-3: Information Technology - Conformance Testing Methodology and Framework; Part 3: The Tree and Tabular Combined Notation (TTCN)"},{"key":"13_CR2","unstructured":"ETSI ES 201 873-1 V2.2.1 (2002-08): Methods for Testing and Specification (MTS); The Testing and Test Control Notation Version 3; Part1: TTCN-3 Core Language"},{"issue":"3","key":"13_CR3","first-page":"375","volume":"42","author":"J. Grabowski","year":"2003","unstructured":"Grabowski, J., Hogrefe, D., Rethy, G., Schieferdecker, I., Wiles, A., Willcock, C.: An introduction to the testing and test control notation (TTCN-3) Comput. Networks\u00a042(3), 375\u2013403 (2003)","journal-title":"Networks"},{"issue":"1","key":"13_CR4","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/52.43044","volume":"7","author":"E.J. Chikofsky","year":"1990","unstructured":"Chikofsky, E.J., Cross, J.H.: Reverse Engineering and Design Recovery: A Taxonomy. IEEE Software\u00a07(1), 13\u201317 (1990)","journal-title":"IEEE Software"},{"issue":"2","key":"13_CR5","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T. Mens","year":"2004","unstructured":"Mens, T., Tourwe, T.: Survey of Software Refactoring. IEEE Trans. on Software Engineering\u00a030(2), 126\u2013139 (2004)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1145\/321796.321811","volume":"21","author":"R.A. Wagner","year":"1974","unstructured":"Wagner, R.A., Fisher, M.J.: The String-to-string Correction Problem. Journal of the ACM\u00a021, 168\u2013173 (1974)","journal-title":"Journal of the ACM"},{"key":"13_CR7","unstructured":"Barnard, D., Clarke, G., Duncan, N.: Tree-to-tree Correction for Document Trees. Technical Report 95-375, Queen\u2019s University (January 1995)"},{"key":"13_CR8","unstructured":"Nierman, A., Jagadish, H.V.: Evaluating Structural Similarity in XML Documents. In: Proc. of the Fifth International Workshop on the Web and Databases, WebDB 2002, Madison, Wisconsin, USA (2002)"},{"key":"13_CR9","volume-title":"Introduction to Algorithms","author":"T. Cormen","year":"2001","unstructured":"Cormen, T., Leiserson, C., Rivest, R.: Introduction to Algorithms. The MIT Press, Cambridge (2001)"},{"key":"13_CR10","unstructured":"Wu-Hen-Chang, A., Le Viet, D., Gecse, R., Csopaki, G.: Representing and Processing Formally Defined Data Structures. In: Proc. of Eunice 2003 (2003)"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Gecse, R., Dibuz, S.: An Intuitive TTCN-3 Data Presentation Format. Testcom (2003)","DOI":"10.1007\/3-540-44830-6_6"},{"key":"13_CR12","unstructured":"3GPP TS 25.413 V6.1.0: UTRAN Iu interface Radio Access Network Application Part, RANAP (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31848-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T07:28:44Z","timestamp":1552634924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31848-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540251095","9783540318484"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31848-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}