{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T15:25:56Z","timestamp":1791127556387,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540755951","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75596-8_28","type":"book-chapter","created":{"date-parts":[[2007,11,3]],"date-time":"2007-11-03T14:03:37Z","timestamp":1194098617000},"page":"394-409","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Methodology to Test Complex Heterogeneous Systems"],"prefix":"10.1007","author":[{"given":"Ismael","family":"Rodr\u00edguez","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"28_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/3-540-45510-8_9","volume-title":"MOVEP 2000","author":"E. Brinksma","year":"2001","unstructured":"Brinksma, E., Tretmans, J.: Testing transition systems: An annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, pp. 187\u2013195. Springer, Heidelberg (2001)"},{"key":"28_CR2","unstructured":"ISO\/IEC 9646-1: 1994. Information technology \u2013 Open Systems Interconnection \u2013 Conformance testing methodology and framework. Part 1: General concepts (1994)"},{"issue":"8","key":"28_CR3","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE\u00a084(8), 1090\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"issue":"4","key":"28_CR4","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1002\/stvr.323","volume":"15","author":"M. N\u00fa\u00f1ez","year":"2005","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: Specification and testing of autonomous agents in e-commerce systems. Software Testing, Verification and Reliability\u00a015(4), 211\u2013233 (2005)","journal-title":"Software Testing, Verification and Reliability"},{"key":"28_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-45510-8_10","volume-title":"MOVEP 2000","author":"A. Petrenko","year":"2001","unstructured":"Petrenko, A.: Fault model-driven test derivation from finite state models: Annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, pp. 196\u2013205. Springer, Heidelberg (2001)"},{"key":"28_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/11754008_3","volume-title":"TestCom 2006","author":"I. Rodr\u00edguez","year":"2006","unstructured":"Rodr\u00edguez, I., Merayo, M.G., N\u00fa\u00f1ez, M.: A logic for assessing sets of heterogeneous testing hypotheses. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 39\u201354. Springer, Heidelberg (2006)"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez, I., Merayo, M.G., N\u00fa\u00f1ez, M.: HOTL: Hypotheses and Observations Testing Logic. Journal of Logic and Algebraic Programming (in press, 2007), available at \n                    \n                      http:\/\/dx.doi.org\/10.1016\/j.jlap.2007.01.001","DOI":"10.1016\/j.jlap.2007.01.001"},{"issue":"4","key":"28_CR8","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Computing Surverys\u00a029(4), 366\u2013427 (1997)","journal-title":"ACM Computing Surverys"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75596-8_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:25:26Z","timestamp":1619519126000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75596-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755951"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75596-8_28","relation":{},"subject":[]}}