{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:24Z","timestamp":1725512004622},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709510"},{"type":"electronic","value":"9783540709527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-70952-7_8","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T08:40:01Z","timestamp":1182847201000},"page":"116-131","source":"Crossref","is-referenced-by-count":10,"title":["Model-Based Testing of a WAP Gateway: An Industrial Case-Study"],"prefix":"10.1007","author":[{"given":"Anders","family":"Hessel","sequence":"first","affiliation":[]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994), citeseer.nj.nec.com\/alur94theory.html","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/S0167-6423(99)00017-9","volume":"36","author":"M. Bozga","year":"2000","unstructured":"Bozga, M., Fernandez, J.-C., Ghirvu, L.: Verification and test generation for the sscop protocol. Science of Computer Programming\u00a036(1), 27\u201352 (2000)","journal-title":"Science of Computer Programming"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/978-3-540-31848-4_9","volume-title":"Formal Approaches to Software Testing","author":"J. Blom","year":"2005","unstructured":"Blom, J., Hessel, A., Jonsson, B., Pettersson, P.: Specifying and generating test cases using observer automata. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 125\u2013139. Springer, Heidelberg (2005)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Ball, T., Kupferman, O., Yorsh, G.: Abstraction for falsification. Technical Report MSR-TR-2005-50, Microsoft Research (June 2005)","DOI":"10.1007\/11513988_8"},{"key":"8_CR5","unstructured":"WAP Forum. Wireless transaction protocol, version 10-jul-2001 (2001), online http:\/\/www.wapforum.org\/"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/3-540-44988-4_13","volume-title":"Application and Theory of Petri Nets 2000","author":"S. Gordon","year":"2000","unstructured":"Gordon, S., Billington, J.: Analysing th wap class 2 wireless transaction protocol using colored petri nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 207\u2013226. Springer, Heidelberg (2000)"},{"key":"8_CR7","unstructured":"He, Y.-T., Janicki, R.: Verification of the wap transaction layer. In: Software Engineering and Formal Methods, pp. 366\u2013375 (2004)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-46002-0_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H.S. Hong","year":"2002","unstructured":"Hong, H.S., Lee, I., Sokolsky, O., Ural, H.: A temporal logic based theory of test coverage. In: Katoen, J.-P., Stevens, P. (eds.) ETAPS 2002 and TACAS 2002. LNCS, vol.\u00a02280, pp. 327\u2013341. Springer, Heidelberg (2002)"},{"issue":"5","key":"8_CR9","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"SE-23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Trans. on Software Engineering\u00a0SE-23(5), 279\u2013295 (1997), doi:10.1109\/32.588521","journal-title":"IEEE Trans. on Software Engineering"},{"key":"8_CR10","unstructured":"Hessel, A., Pettersson, P.: Model-based testing of a wap gateway: an industrial case-study. Technical Report 2006-045, Department of Information Technology, Uppsala University (2006)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-3-540-31848-4_6","volume-title":"Formal Approaches to Software Testing","author":"K.G. Larsen","year":"2005","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 79\u201394. Springer, Heidelberg (2005)"},{"key":"8_CR12","volume-title":"Proc. of the 5th ACM International Conference on Embedded Software","author":"K.G. Larsen","year":"2005","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B., Skou, A.: Testing real-time embedded software using uppaal-tron - an industrial case study. In: Proc. of the 5th ACM International Conference on Embedded Software, ACM Press, New York (2005)"},{"issue":"1\u20132","key":"8_CR13","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer\u00a01(1\u20132), 134\u2013152 (1997)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Thomsen, G.B.: A modal process logic. In: Proc. 3rd Int. Symp. on Logic in Computer Science (1988)","DOI":"10.1109\/LICS.1988.5119"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-61042-1_42","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs, and quiescence. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 127\u2013146. Springer, Heidelberg (1996)"},{"key":"8_CR16","unstructured":"Vilhelmsson, P.: A test case translation tool - from abstract test sequences to concrete test programs. Technical report, Department of Information Technology, Uppsala University (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Applications and Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70952-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T16:34:50Z","timestamp":1556555690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70952-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540709510","9783540709527"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70952-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}