{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:37:50Z","timestamp":1725489470594},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_15","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T04:07:13Z","timestamp":1187410033000},"page":"212-227","source":"Crossref","is-referenced-by-count":1,"title":["Model Based Testing of an Embedded Session and Transport Protocol"],"prefix":"10.1007","author":[{"given":"Vesa","family":"Luukkala","sequence":"first","affiliation":[]},{"given":"Ian","family":"Oliver","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Service-Oriented Architecture","author":"T. Erl","year":"2005","unstructured":"Erl, T.: Service-Oriented Architecture. Prentice-Hall, Englewood Cliffs (2005)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/11955757_20","volume-title":"B 2007: Formal Specification and Development in B","author":"I. Oliver","year":"2006","unstructured":"Oliver, I.: Experiences in using B and UML in industrial development. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol.\u00a04355, pp. 248\u2013251. Springer, Heidelberg (2006)"},{"key":"15_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: assigning programs to meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-book: assigning programs to meanings. Cambridge University Press, New York, USA (1996)"},{"unstructured":"Vries, R.d., Tretmans, J.: On-the-Fly Conformance Testing using Spin. In: Holzmann, G., Najm, E., Serhrouchni, A. (eds.) Fourth Workshop on Automata Theoretic Verification with the Spin Model Checker. ENST 98 S 002, Paris, France, Ecole Nationale Sup\u00e9rieure des T\u00e9l\u00e9communications, pp. 115\u2013128 (1998)","key":"15_CR4"},{"unstructured":"Conformiq Software Ltd.: Conformiq Qtronic, a model driven testing tool (2006\u20132007), \n                  \n                    http:\/\/www.conformiq.com\/qtronic.php","key":"15_CR5"},{"key":"15_CR6","first-page":"17","volume-title":"DSD 2006","author":"R. Suoranta","year":"2006","unstructured":"Suoranta, R.: New directions in mobile device architectures. In: DSD 2006. Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools, Dubrovnik, Croatia, pp. 17\u201326. IEEE Computer Society, Los Alamitos (2006)"},{"key":"15_CR7","first-page":"11","volume-title":"ISQED 2006","author":"R. Suoranta","year":"2006","unstructured":"Suoranta, R.: Modular service-oriented platform architecture - a key enabler to soc design quality. In: ISQED 2006. 7th International Symposium on Quality of Electronic Design, San Jose, CA, USA, pp. 11\u201313. IEEE Computer Society, Los Alamitos (2006)"},{"key":"15_CR8","first-page":"186","volume":"01","author":"J. Savolainen","year":"2005","unstructured":"Savolainen, J., Oliver, I., Mannion, M., Zuo, H.: Transitioning from product line requirements to product line architecture. compsac\u00a001, 186\u2013195 (2005)","journal-title":"compsac"},{"doi-asserted-by":"crossref","unstructured":"Kruger, I.H., Mathew, R.: Systematic development and exploration of service-oriented software architectures. In: WICSA 2004. Proceedings of Fourth Working IEEE\/IFIP Conference on Software Architecture, pp. 177\u2013187 (2004)","key":"15_CR9","DOI":"10.1109\/WICSA.2004.1310701"},{"unstructured":"Kronlof, K., Kontinen, S., Oliver, I., Eriksson, T.: A method for mobile terminal platform architecture development. In: Proceedings of Forum on Design Languages 2006. Darmstadt, Germany (2006)","key":"15_CR10"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M. Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: A model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"key":"15_CR12","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, 1090\u20131126 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"15_CR13","first-page":"75","volume":"00","author":"S. Gnesi","year":"2004","unstructured":"Gnesi, S., Latella, D., Massink, M.: Formal test-case generation for uml statecharts. iceccs\u00a000, 75\u201384 (2004)","journal-title":"iceccs"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-0-387-35497-2_20","volume-title":"Testing of Communicating Systems XIV","author":"L. Feijs","year":"2002","unstructured":"Feijs, L., Goga, N.S.M., Tretmans, J.: Test Selection, Trace Distance and Heuristics. In: Schieferdecker, I., K\u00f6nig, H., Wolisz, A. (eds.) Testing of Communicating Systems XIV, pp. 267\u2013282. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"15_CR15","first-page":"187","volume-title":"ACSD 2003","author":"T. Pyh\u00e4l\u00e4","year":"2003","unstructured":"Pyh\u00e4l\u00e4, T., Heljanko, K.: Specification coverage aided test selection. In: Lilius, J., Balarin, F., Machado, R.J. (eds.) ACSD 2003. Proceeding of the 3rd International Conference onApplication of Concurrency to System Design, Guimaraes, Portugal, pp. 187\u2013195. IEEE Computer Society, Los Alamitos (2003)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","first-page":"221","volume-title":"FM 2005: Formal Methods","author":"M. Leuschel","year":"2005","unstructured":"Leuschel, M., Butler, M.: Combining CSP and B for Specification and Property Verification. In: Fitzgerald, J.A., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 221\u2013236. Springer, Heidelberg (2005)"},{"unstructured":"Tretmans, G.J., Brinksma, H.: Torx: Automated model-based testing. In: Hartman, A., Dussa-Ziegler, K. (eds.) First European Conference on Model-Driven Software Engineering, Nuremberg, Germany, pp. 31\u201343 (2003)","key":"15_CR17"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/1081706.1081751","volume-title":"ESEC\/FSE-13","author":"M. Veanes","year":"2005","unstructured":"Veanes, M., Campbell, C., Schulte, W., Tillmann, N.: Online testing with model programs. In: ESEC\/FSE-13. Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 273\u2013282. ACM Press, New York, USA (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_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,4]],"date-time":"2018-10-04T13:44:18Z","timestamp":1538660658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73066-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730651","9783540730668"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73066-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}