{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:16Z","timestamp":1725511996018},"publisher-location":"Berlin, Heidelberg","reference-count":11,"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_9","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T08:40:01Z","timestamp":1182847201000},"page":"132-147","source":"Crossref","is-referenced-by-count":10,"title":["Heuristics for ioco-Based Test-Based Modelling"],"prefix":"10.1007","author":[{"given":"Tim A. C.","family":"Willemse","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"75","key":"9_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"2","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation\u00a02(75), 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"9_CR2","first-page":"179","volume-title":"Testcom \u201999","author":"A. Belinfante","year":"1999","unstructured":"Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) Testcom \u201999, pp. 179\u2013196. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"9_CR3","series-title":"ENTCS","first-page":"3","volume-title":"Proceedings of SVV 2003","author":"T. Berg","year":"2005","unstructured":"Berg, T., Jonsson, B., Leucker, M., Saksena, M.: Insights to angluin\u2019s learning. In: Etalle, S., Mukhopadhyay, S., Roychoudhury, A. (eds.) Proceedings of SVV 2003. ENTCS, vol.\u00a0118, pp. 3\u201318. Elsevier, Amsterdam (2005)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1007\/3-540-63166-6_52","volume-title":"Computer Aided Verification","author":"P. Godefroid","year":"1997","unstructured":"Godefroid, P.: Verisoft: A tool for the automatic analysis of concurrent reactive software. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 476\u2013479. Springer, Heidelberg (1997)"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/336512.336532","volume-title":"ICSE - Future of SE Track","author":"M.J. Harrold","year":"2000","unstructured":"Harrold, M.J.: Testing: A roadmap. In: Finkelstein, A. (ed.) ICSE - Future of SE Track, pp. 61\u201372. ACM Press, New York (2000)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/978-3-540-45069-6_31","volume-title":"Computer Aided Verification","author":"H. Hungar","year":"2003","unstructured":"Hungar, H., Margaria, T., Steffen, B.: Domain-specific optimization in automata learning. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 315\u2013327. Springer, Heidelberg (2003)"},{"key":"9_CR7","first-page":"971","volume-title":"IEEE international test conference (ITC)","author":"H. Hungar","year":"2003","unstructured":"Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy systems. In: IEEE international test conference (ITC), pp. 971\u2013980. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1002\/smr.4360020403","volume":"2","author":"H.K.N. Leung","year":"1990","unstructured":"Leung, H.K.N., White, L.J.: Insights into regression testing. Journal of Software Maintenance: Research and Practice\u00a02, 209\u2013222 (1990)","journal-title":"Journal of Software Maintenance: Research and Practice"},{"issue":"2","key":"9_CR9","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s11334-005-0016-y","volume":"1","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Raffelt, H., Steffen, B.: Knowledge-based relevance filtering for efficient system-level test-based model generation (to appear). Innovations in Systems and Software Engineering\u00a01(2), 147\u2013156 (2005)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"9_CR10","first-page":"225","volume-title":"Proceedings of FORTE\/PSTV, vol. 156","author":"D. Peled","year":"1999","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Proceedings of FORTE\/PSTV, vol. 156, pp. 225\u2013240. Kluwer Academic Publishers, Dordrecht (1999)"},{"issue":"3","key":"9_CR11","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetetive quiescence. Software \u2014 Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software \u2014 Concepts and Tools"}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T08:25:45Z","timestamp":1550391945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70952-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540709510","9783540709527"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70952-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}