{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:41:23Z","timestamp":1725550883149},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434771"},{"type":"electronic","value":"9783540460176"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46017-9_23","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:13Z","timestamp":1269882733000},"page":"250-253","source":"Crossref","is-referenced-by-count":3,"title":["Demonstration of an Automated Integrated Test Environment for Web-Based Applications"],"prefix":"10.1007","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[]},{"given":"Oliver","family":"Niese","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,23]]},"reference":[{"key":"23_CR1","unstructured":"B. Lindner, T. Margaria, and B. Steffen. Ein personalisierter Internetdienst f\u00fcr wissenschaftliche Begutachtungsprozesse. In GI-VOI-BITKOM-OCG-TeleTrusT Konferenz on \u201cElektronische Gesch\u00e4ftsprozesse\u201d(eBusiness Processes), Universit\u00e4t Klagenfurt, September 2001."},{"key":"23_CR2","unstructured":"C.H. Liu, D.C. Kung, P. Hsia, and C.T. Hsu. Structural testing of web applications. In Proc. of Int. Symposium on software reliability engineering (ISSRE 2000), pp. 84\u201396, 2000."},{"key":"23_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-45314-8_17","volume-title":"Librarybased design and consistency checks of system-level industrial test cases","author":"O. Niese","year":"2001","unstructured":"O. Niese, B. Steffen, T. Margaria, A. Hagerer, G. Brune, and H. Ide. Librarybased design and consistency checks of system-level industrial test cases. Proc. FASE 2001, LNCS 2029, pp. 233\u2013248. Springer Verlag, 2001."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"O. Niese, T. Margaria, A. Hagerer, B. Steffen, G. Brune, and H. Ide. Automated regression testing of CTI-systems. In Proc. of IEEE European Test Workshop (ETW 2001), 2001.","DOI":"10.1109\/ETW.2001.946662"},{"key":"23_CR5","unstructured":"O. Niese, T. Margaria, B. Steffen. Automated functional testing of web-based applications. In Proc. of 5th Intern. Quality Week Europe 2002, Brussles, 2002."},{"key":"23_CR6","series-title":"Lect Notes Comput Sci","first-page":"372","volume-title":"Building a tool for the analysis and testing of web applications: Problems and solutions","author":"F. Ricca","year":"2001","unstructured":"F. Ricca and P. Tonella. Building a tool for the analysis and testing of web applications: Problems and solutions. Proc. TACAS 2001, LNCS 2031, pp. 372\u2013388. Springer Verlag, 2001."},{"key":"23_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"METAFrame in Practice: Design of Intelligent Network Services","author":"B. Steffen","year":"1999","unstructured":"B. Steffen and T. Margaria. METAFrame in Practice: Design of Intelligent Network Services, LNCS 1710, pp. 390\u2013415. Springer Verlag, 1999."},{"key":"23_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/3-540-45139-0_20","volume-title":"Coarse-granular model checking in practice","author":"B. Steffen","year":"2001","unstructured":"B. Steffen, T. Margaria, and V. Braun. Coarse-granular model checking in practice. Proc. 8th Intern. SPIN Workshop, LNCS 2057, pp. 304\u2013312. Springer Verlag, 2001."}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46017-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T08:54:47Z","timestamp":1550998487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46017-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434771","9783540460176"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-46017-9_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}