{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:00:39Z","timestamp":1725516039664},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540690450"},{"type":"electronic","value":"9783540690528"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69052-8_25","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T02:38:03Z","timestamp":1217471883000},"page":"235-244","source":"Crossref","is-referenced-by-count":0,"title":["Test Case Generation from QR Models"],"prefix":"10.1007","author":[{"given":"Harald","family":"Brandl","sequence":"first","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Bouwer, A., Liem, J., Bredeweg, B.: User Manual for Single-User Version of QR Workbench. Naturnet-Redime, STREP project co-funded by the European Commission within the Sixth Framework Programme (2002-2006), p. 1 (2005) (Project no. 004074. Project deliverable D4.2.1)"},{"key":"25_CR2","unstructured":"Bredeweg, B., Liem, J., Bouwer, A., Salles, P.: Curriculum for learning about QR modelling. Naturnet-Redime, STREP project co-funded by the European Commission within the Sixth Framework Programme (2002-2006) (2005) (Project no. 004074. Project deliverable D6.9.1)"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Bredeweg, B., Bouwer, A., Jellema, J., Bertels, D., Linnebank, F.F., Liem, J.: Garp3 - a new workbench for qualitative reasoning and modelling. In: Proceedings of 20th International Workshop on Qualitative Reasoning (QR-2006), Hannover, New Hampshire, USA, pp. 21\u201328 (2006)","DOI":"10.1145\/1298406.1298445"},{"issue":"1-3","key":"25_CR4","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K.D. Forbus","year":"1984","unstructured":"Forbus, K.D.: Qualitative process theory. Artif. Intell.\u00a024(1-3), 85\u2013168 (1984)","journal-title":"Artif. Intell."},{"issue":"4","key":"25_CR5","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C. Jard","year":"2004","unstructured":"Jard, C., Jeron, T.: TGV: theory, principles and algorithms. International Journal on Software Tools for Technology Transfer (STTT)\u00a07(4), 297\u2013315 (2004)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"issue":"1-3","key":"25_CR6","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. Kleer De","year":"1984","unstructured":"De Kleer, J., Brown, J.S.: A qualitative physics based on confluences. Artif. Intell.\u00a024(1-3), 7\u201383 (1984)","journal-title":"Artif. Intell."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Kuipers, B.: Qualitative simulation. Artificial Intelligence\u00a026, 289\u2013338 (1986), Reprinted In: Weld, D., De Kleer, J. (eds.): Qualitative Reasoning about Physical Systems, pp. 236\u2013260. Morgan Kaufmann, San Francisco (1990)","DOI":"10.1016\/B978-1-4832-1447-4.50018-3"},{"issue":"1-2","key":"25_CR8","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0004-3702(93)90179-F","volume":"59","author":"B. Kuipers","year":"1993","unstructured":"Kuipers, B.: Qualitative simulation: Then and now. Artificial Intelligence\u00a059(1-2), 133\u2013140 (1993)","journal-title":"Artificial Intelligence"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","first-page":"108","volume-title":"Computer Aided Verification","author":"P. Morel","year":"1999","unstructured":"Morel, P., Jeron, T.: Test Generation Derived from Model-Checking. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 108\u2013121. Springer, Heidelberg (1999)"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-61042-1_42","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs, and quiescence. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 127\u2013146. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69052-8_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:23:17Z","timestamp":1620001397000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69052-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540690450","9783540690528"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69052-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}