{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:46:40Z","timestamp":1725515200033},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540685142"},{"type":"electronic","value":"9783540685241"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-68524-1_18","type":"book-chapter","created":{"date-parts":[[2008,6,5]],"date-time":"2008-06-05T04:34:48Z","timestamp":1212640488000},"page":"250-265","source":"Crossref","is-referenced-by-count":0,"title":["Applying Model-Based Testing to HTML Rendering Engines \u2013 A Case Study"],"prefix":"10.1007","author":[{"given":"Jens R.","family":"Calam\u00e9","sequence":"first","affiliation":[]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/1291535.1291547","volume-title":"Proc. of the 3rd Intl. Workshop on Advances in Model-based Testing","author":"B.K. Aichernig","year":"2007","unstructured":"Aichernig, B.K., Peischl, B., Weiglhofer, M., Wotawa, F.: Test Purpose Generation in an Industrial Application. In: Proc. of the 3rd Intl. Workshop on Advances in Model-based Testing, pp. 115\u2013125. ACM, New York (2007)"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-0-387-35567-2_12","volume-title":"12th Intl. 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: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) 12th Intl. Workshop on Testing of Communicating Systems, pp. 179\u2013196. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"18_CR3","unstructured":"Born, M., Schieferdecker, I., Gross, H.-G., Santos, P.: Model-driven Development and Testing \u2013 A Case Study. In: van Sinderen, M.J., Pires, L.F. (eds.), 1st European Workshop on Model Driven Architecture with Emphasis on Industrial Application, number TR-CTIT-04-12 in CTIT Technical Report, Enschede, pp. 97\u2013104 (2004)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Model-Based Testing of Reactive Systems","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol.\u00a03472. Springer, Heidelberg (2005)"},{"key":"18_CR5","unstructured":"Calam\u00e9, J.R.: Adaptive Test Case Execution in Practice. Technical Report SEN-R0703, Centrum voor Wiskunde en Informatica (June 2007)"},{"key":"18_CR6","series-title":"Electronic Notes in Computer Science","first-page":"25","volume-title":"Proc. of the Doctoral Symposium affiliated with the 5th Intl. Conf. on Integrated Formal Methods (IFM 2005)","author":"J.R. Calam\u00e9","year":"2007","unstructured":"Calam\u00e9, J.R., Ioustinova, N., van de Pol, J.C.: Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. In: Romijn, J., Smith, G., van de Pol, J. (eds.) Proc. of the Doctoral Symposium affiliated with the 5th Intl. Conf. on Integrated Formal Methods (IFM 2005). Electronic Notes in Computer Science, vol.\u00a0191, pp. 25\u201348. Elsevier, Amsterdam (2007)"},{"key":"18_CR7","first-page":"541","volume-title":"Proc. of the 12th Asia-Pacific Software Engineering Conf. (APSEC 2005)","author":"J.R. Calam\u00e9","year":"2005","unstructured":"Calam\u00e9, J.R., Ioustinova, N., van de Pol, J.C., Sidorova, N.: Data Abstraction and Constraint Solving for Conformance Testing. In: Proc. of the 12th Asia-Pacific Software Engineering Conf. (APSEC 2005), pp. 541\u2013548. IEEE Press, Los Alamitos (2005)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-45418-7_6","volume-title":"Smart Card Programming and Security","author":"D. Clarke","year":"2001","unstructured":"Clarke, D., J\u00e9ron, T., Rusu, V., Zinovieva, E.: Automated Test and Oracle Generation for Smart-Card Applications. In: Attali, S., Jensen, T. (eds.) E-smart 2001. LNCS, vol.\u00a02140, pp. 58\u201370. Springer, Heidelberg (2001)"},{"key":"18_CR9","unstructured":"Geurts, W., Wijbrans, K., Tretmans, J.: Testing and Formal Methods \u2013 Bos Project Case Study. In: EuroSTAR 1998. 6th European Intl. Conf. on Software Testing, Analysis & Review, pp. 215\u2013229 (1998)"},{"key":"18_CR10","first-page":"26","volume-title":"Algebra of Communicating Processes, Workshops in Computing","author":"J.F. Groote","year":"1994","unstructured":"Groote, J.F., Ponse, A.: The Syntax and Semantics of \u03bcCRL. In: Ponse, A., Verhoef, C., van Vlijmen, S. (eds.) Algebra of Communicating Processes, Workshops in Computing, pp. 26\u201362. Springer, Berlin (1994)"},{"issue":"4","key":"18_CR11","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C. Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: Theory, Principles and Algorithms. Intl. Journ. on Software Tools for Technology Transfer\u00a07(4), 297\u2013315 (2005)","journal-title":"Intl. Journ. on Software Tools for Technology Transfer"},{"issue":"3","key":"18_CR12","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test Generation with Inputs, Outputs, and Repetitive Quiescence. Software - Concepts & Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software - Concepts & Tools"},{"key":"18_CR13","unstructured":"Turner, D., Oeschger, I.: Creating XPCOM Components (2003)"},{"key":"18_CR14","unstructured":"W3C. XHTML 1.0 The Extensible HyperText Markup Language (2nd edn.) (August 2002) W3C Recommendation, \n                    \n                      http:\/\/www.w3.org\/TR\/2002\/REC-xhtml1-20020801"},{"key":"18_CR15","unstructured":"W3C. Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification (July 2007). W3C Candidate Recommendation, \n                    \n                      http:\/\/www.w3.org\/TR\/2007\/CR-CSS21-20070719"},{"key":"18_CR16","unstructured":"Zakas, N.C., McPeak, J., Fawcett, J.: Professional AJAX. Wrox Press (2006)"}],"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-68524-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T03:29:51Z","timestamp":1551497391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68524-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540685142","9783540685241"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68524-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}