{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:27:05Z","timestamp":1725564425513},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208945"},{"type":"electronic","value":"9783540246176"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24617-6_15","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T07:26:17Z","timestamp":1283671577000},"page":"205-222","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Conformance Testing of Internet Applications"],"prefix":"10.1007","author":[{"given":"Harm M. A.","family":"van Beek","sequence":"first","affiliation":[]},{"given":"Sjouke","family":"Mauw","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Regan, K.: U.S.: E-Commerce Topped $45B in 2002. E-Commerce Times (2003)"},{"key":"15_CR2","unstructured":"ACM Committee on Computers and Public Policy, P.G. Neumann, moderator: The Risk Digest, Forum On Risks To The Publi. In Computers And Related Systems (1985\u20132003), \n                    \n                      http:\/\/catless.ncl.ac.uk\/Risks\/"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","first-page":"44","volume-title":"Modeling and Verification of Parallel Processes","author":"E. Brinksma","year":"2000","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. 44\u201350. Springer, Heidelberg (2000)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Fielding, R., Gettys, J., Mogul, J.C., Frystyk, H., Masinter, L., Leach, P., Berners-Lee, T.: Hypertext transfer protocol \u2013 HTTP\/1.1. RFC 2616. The Internet Society, Network Working Group (1999)","DOI":"10.17487\/rfc2616"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Rice, J., Farquhar, A., Piernot, P., Gruber, T.: Using the web instead of a window system. In: Proceedings Human Factors in Computing Systems, CHI 1996 Conference, Vancouver, B.C, Canada, pp. 103\u2013110 (1996)","DOI":"10.1145\/238386.238442"},{"key":"15_CR6","volume-title":"12thInt. Workshop on Testing of Communicating Systems","author":"A. Belinfante","year":"1999","unstructured":"Belinfante, A., Feenstra, J., de Vries, R., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: 12thInt. Workshop on Testing of Communicating Systems. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"15_CR7","first-page":"349","volume-title":"Second International Workshop on Protocol Test Systems","author":"E. Brinksma","year":"1990","unstructured":"Brinksma, E., Alderden, R., Langerak, J., van de Lagemaat, R., Tretmans, J.: A formal approach to conformance testing. In: Second International Workshop on Protocol Test Systems, pp. 349\u2013363. North-Holland, Amsterdam (1990)"},{"key":"15_CR8","series-title":"IFIP Transactions","first-page":"257","volume-title":"International Workshop on Protocol Test Systems VI","author":"J. Tretmans","year":"1994","unstructured":"Tretmans, J.: A formal approach to conformance testing. In: Rafiq, O. (ed.) International Workshop on Protocol Test Systems VI. IFIP Transactions, vol.\u00a0C-19, pp. 257\u2013276. North-Holland, Amsterdam (1994)"},{"key":"15_CR9","unstructured":"ISO\/IEC JTC1\/SC21 WG7, ITU-T SG 10\/Q.8: Proposed ITU-T Z.500 and committee draft on formal methods in conformance testing. CD 13245-1, ISO \u2013 ITU-T, Geneva (1996)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3540539816_63","volume-title":"TAPSOFT \u201991. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991","author":"G. Bernot","year":"1991","unstructured":"Bernot, G.: Testing against formal specifications: A theoretical view. In: Abramsky, S. (ed.) TAPSOFT 1991, CCPSD 1991, and ADC-Talks 1991. LNCS, vol.\u00a0494, pp. 99\u2013119. Springer, Heidelberg (1991)"},{"key":"15_CR11","unstructured":"Tretmans, J.: Testing labelled transition systems with inputs and outputs. In: Cavalli, A., Budkowski, S. (eds.) Participants Proceedings of the Int. Workshop on Protocol Test Systems VIII \u2013 COST 247 Session, Evry, France, pp. 461\u2013476 (1995)"},{"key":"15_CR12","unstructured":"Heerink, L.: Ins and outs in refusal testing. PhD thesis, University of Twente, The Netherlands (1998)"},{"key":"15_CR13","first-page":"349","volume":"1987","author":"E. Brinksma","year":"1987","unstructured":"Brinksma, E., Scollo, G., Steenbergen, C.: LOTOS specifications, their implementations and their tests. Protocol Specification, Testing and Verification VI, IFIP\u00a01987, 349\u2013360 (1987)","journal-title":"Protocol Specification, Testing and Verification VI, IFIP"},{"key":"15_CR14","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software\u2014 Concepts and Tools\u00a017, 103\u2013120 (1996)","journal-title":"Software\u2014 Concepts and Tools"},{"key":"15_CR15","unstructured":"van Beek, H.: Internet protocols for distributed consensus \u2013 the DiCons language. Master\u2019s thesis, Technische Universiteit Eindhoven (2000)"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Baeten, J., van Beek, H., Mauw, S.: Specifying internet applications with DiCons. In: Proc. 16th ACM Symposium on Applied Computing, Las Vegas, USA (2001)","DOI":"10.1145\/372202.372466"},{"key":"15_CR17","unstructured":"CollabNet, Inc.: MaxQ (1999\u20132003), \n                    \n                      http:\/\/maxq.tigris.org\/"},{"key":"15_CR18","unstructured":"The Original Software Group Ltd.: TestWEB (2003), \n                    \n                      http:\/\/www.testweb.com\/"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/ICSE.2001.919078","volume-title":"Proceedings of the 23rd International Conference on Software Engeneering (ICSE 2001)","author":"F. Ricca","year":"2001","unstructured":"Ricca, F., Tonella, P.: Analysis and testing of web applications. In: Proceedings of the 23rd International Conference on Software Engeneering (ICSE 2001), Toronto, Ontario, Canada, pp. 25\u201334. IEEE Computer Society, Los Alamitos (2001)"},{"key":"15_CR20","unstructured":"Jia, X., Liu, H.: Rigorous and automatic testing of web applications. In: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA, USA, pp. 280\u2013285 (2002)"},{"key":"15_CR21","unstructured":"Wu, Y., Offutt, J.: Modeling and testing web-based applications. ISE Technical ISE-TR-02- 08, GMU (2002)"},{"key":"15_CR22","unstructured":"Niese, O., Margaria, T., Steffen, B.: Automated functional testing of web-based applications. In: Proceedings of the 5th Int. Conference On Software and Internet Quality Week Europe (QWE 2002), Brussels, Belgium (2002)"},{"key":"15_CR23","unstructured":"Benedikt, M., Freire, J., Godefroid, P.: VeriWeb: Automatically testing dynamic web sites. In: Proceedings of the 11th international world wide web conference (WWW 2002), Honolulu, Hawaii, USA (2002)"},{"key":"15_CR24","unstructured":"Dieselpoint, Inc.: dieseltest (2001), \n                    \n                      http:\/\/www.dieseltest.com\/"},{"key":"15_CR25","unstructured":"Fulmer, J.: Siege (2002), \n                    \n                      http:\/\/www.joedog.org\/siege\/"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24617-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:30:14Z","timestamp":1558287014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24617-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208945","9783540246176"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24617-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}