{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:15:54Z","timestamp":1759032954034},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201021"},{"type":"electronic","value":"9783540398158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39815-8_23","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T14:49:51Z","timestamp":1294411791000},"page":"377-396","source":"Crossref","is-referenced-by-count":19,"title":["A Case for Test-Code Generation in Model-Driven Systems"],"prefix":"10.1007","author":[{"given":"Matthew J.","family":"Rutherford","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander L.","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"ISO IS 10746-x. ODP reference model part x. Technical report, International Standards Organization (1995)"},{"key":"23_CR2","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J.M., Lott, C.M.: Model-based testing of a highly programmable system. In: Proc. 9th International Symposium on Software Reliability Engineering (ISSRE 1998) (1998)","DOI":"10.1109\/ISSRE.1998.730876"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J.M., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of the 1999 International Conference on Software Engineering (ICSE 1999) (1999)","DOI":"10.1145\/302405.302640"},{"key":"23_CR5","volume-title":"Design Patterns","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Reading (1995)"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Gervais, M.P.: Towards an MDA-oriented methodology. In: Proceedings of the 26th Annual International Computer Software and Applications Conference (COMPSAC 2002) (2002)","DOI":"10.1109\/CMPSAC.2002.1044561"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Grundy, J., Cai, Y., Liu, A.: Generation of distributed system test-beds from high-level software architecture descriptions. In: Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) (2001)","DOI":"10.1109\/ASE.2001.989805"},{"key":"23_CR8","volume-title":"Proceedings of the 30th Annual Southeast Regional Conference","author":"Z.Y. Gu","year":"1992","unstructured":"Gu, Z.Y., Cheng, K.E.: The derivation of test cases from sdl specifications. In: Proceedings of the 30th Annual Southeast Regional Conference. ACM Press, New York (1992)"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Gupta, P., Cunning, S.J., Rozenbilt, J.W.: Synthesis of high-level requirements models for automatic test generation. In: 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2001) (2001)","DOI":"10.1109\/ECBS.2001.922408"},{"key":"23_CR10","unstructured":"Liu, Y., Gorton, I., Liu, A., Jiang, N., Chen, S.: Designing a test suite for empirically-based middleware performance prediction. In: 40th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Pacific 2002), Sydney, Australia (2002)"},{"key":"23_CR11","unstructured":"Mats, L.: Selection criteria for automated TTCN test case generation from SDL. In: 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques (1998)"},{"key":"23_CR12","unstructured":"Miller, J., Mukerji, J.: Model driven architecture (MDA). OMG Document ormsc\/2001-07-01 (July 2001)"}],"container-title":["Lecture Notes in Computer Science","Generative Programming and Component Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39815-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T09:32:49Z","timestamp":1553333569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39815-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201021","9783540398158"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39815-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}