{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:10Z","timestamp":1750307950477,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,9]],"date-time":"2007-07-09T00:00:00Z","timestamp":1183939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,7,9]]},"DOI":"10.1145\/1291535.1291547","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"115-125","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Test purpose generation in an industrial application"],"prefix":"10.1145","author":[{"given":"Bernhard K.","family":"Aichernig","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Graz, Graz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Weiglhofer","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Graz, Graz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Peischl","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t, Graz Graz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t, Graz, Graz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693017_24"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2007.31"},{"key":"e_1_3_2_1_3_1","series-title":"IFIP Conference Proceedings","first-page":"221","volume-title":"TestCom","author":"du Bousquet L.","year":"2000","unstructured":"L. du Bousquet , S. Ramangalahy , S. Simon , C. Viho , A. Belinfante , and R. G. de Vries . Formal test automation: The conference protocol with TGV\/TorX . In TestCom , volume 176 of IFIP Conference Proceedings , pages 221 -- 228 , 2000 . L. du Bousquet, S. Ramangalahy, S. Simon, C. Viho, A. Belinfante, and R. G. de Vries. Formal test automation: The conference protocol with TGV\/TorX. In TestCom, volume 176 of IFIP Conference Proceedings, pages 221--228, 2000."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(96)00032-9"},{"key":"e_1_3_2_1_5_1","volume-title":"IETF","author":"Franks J.","year":"1999","unstructured":"J. Franks , P. Hallam-Baker , J. Hostetler , S. Lawrence , P. Leach , A. Luotonen , and L. Stewart . HTTP Authentication: Basic and Digest Access Authentication. RCF 2617 , IETF , 1999 . J. Franks, P. Hallam-Baker, J. Hostetler, S. Lawrence, P. Leach, A. Luotonen, and L. Stewart. HTTP Authentication: Basic and Digest Access Authentication. RCF 2617, IETF, 1999."},{"key":"e_1_3_2_1_6_1","volume-title":"An overview of CADP","author":"Garavel H.","year":"2001","unstructured":"H. Garavel , F. Lang , and R. Mateescu . An overview of CADP 2001 . European Association for Software Science and Technology Newsletter , 4:13--24, 2002. H. Garavel, F. Lang, and R. Mateescu. An overview of CADP 2001. European Association for Software Science and Technology Newsletter, 4:13--24, 2002."},{"key":"e_1_3_2_1_7_1","first-page":"253","volume-title":"SDL'93, the 6th SDL Forum","author":"Grabowski J.","year":"1993","unstructured":"J. Grabowski , D. Hogrefe , and R. Nahm . Test case generation with test purpose specification by MSC's . In SDL'93, the 6th SDL Forum , pages 253 -- 266 . Elsevier Science , 1993 . J. Grabowski, D. Hogrefe, and R. Nahm. Test case generation with test purpose specification by MSC's. In SDL'93, the 6th SDL Forum, pages 253--266. Elsevier Science, 1993."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2005.10"},{"key":"e_1_3_2_1_9_1","volume-title":"ISO 8807: Information processing systems - open systems interconnection - LOTOS - a formal description technique based on the temporal ordering of observational behaviour","author":"ISO.","year":"1989","unstructured":"ISO. ISO 8807: Information processing systems - open systems interconnection - LOTOS - a formal description technique based on the temporal ordering of observational behaviour , 1989 . ISO. ISO 8807: Information processing systems - open systems interconnection - LOTOS - a formal description technique based on the temporal ordering of observational behaviour, 1989."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0153-x"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/648129.747871"},{"key":"e_1_3_2_1_12_1","volume-title":"The Art of Software Testing","author":"Myers G. J.","year":"1979","unstructured":"G. J. Myers . The Art of Software Testing . John Wiley & amp; Sons, Inc., 1979 . G. J. Myers. The Art of Software Testing. John Wiley & Sons, Inc., 1979."},{"key":"e_1_3_2_1_13_1","volume-title":"IETF","author":"Rosenberg J.","year":"2002","unstructured":"J. Rosenberg , H. Schulzrinne , G. Camarillo , A. Johnston , J. Peterson , R. Sparks , M. Handley , and E. Schooler . SIP: Session initiation protocol. RFC 3261 , IETF , 2002 . J. Rosenberg, H. Schulzrinne, G. Camarillo, A. Johnston, J. Peterson, R. Sparks, M. Handley, and E. Schooler. SIP: Session initiation protocol. RFC 3261, IETF, 2002."},{"issue":"3","key":"e_1_3_2_1_14_1","first-page":"103","volume":"17","author":"Tretmans J.","year":"1996","unstructured":"J. Tretmans . Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools , 17 ( 3 ): 103 -- 120 , 1996 . J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3):103--120, 1996.","journal-title":"Concepts and Tools"},{"key":"e_1_3_2_1_15_1","first-page":"13","volume-title":"Proceedings of the First European Conference on Model-Driven Software Engineering","author":"Tretmans J.","year":"2003","unstructured":"J. Tretmans and E. Brinksma . TorX: Automated model based testing. In A. Hartman and K. Dussa-Zieger, editors , Proceedings of the First European Conference on Model-Driven Software Engineering , pages 13 -- 25 , Nurnburg, Germany , 2003 . J. Tretmans and E. Brinksma. TorX: Automated model based testing. In A. Hartman and K. Dussa-Zieger, editors, Proceedings of the First European Conference on Model-Driven Software Engineering, pages 13--25, Nurnburg, Germany, 2003."}],"event":{"name":"ISSTA07: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"London United Kingdom","acronym":"ISSTA07"},"container-title":["Proceedings of the 3rd international workshop on Advances in model-based testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291535.1291547","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1291535.1291547","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:57:48Z","timestamp":1750258668000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291535.1291547"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,9]]},"references-count":15,"alternative-id":["10.1145\/1291535.1291547","10.1145\/1291535"],"URL":"https:\/\/doi.org\/10.1145\/1291535.1291547","relation":{},"subject":[],"published":{"date-parts":[[2007,7,9]]},"assertion":[{"value":"2007-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}