{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:40:49Z","timestamp":1742391649037},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540690696"},{"type":"electronic","value":"9783540690733"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69073-3_17","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"151-163","source":"Crossref","is-referenced-by-count":11,"title":["Deriving Input Partitions from UML Models for Automatic Test Generation"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Wei\u00dfleder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd-Holger","family":"Schlingloff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques. John Wiley & Sons, Inc., Chichester (1990)"},{"key":"17_CR2","volume-title":"Testing object-oriented systems: models, patterns, and tools","author":"R.V. Binder","year":"1999","unstructured":"Binder, R.V.: Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (1999)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Bourhfir, C., Dssouli, R., Aboulhamid, E., Rico, N.: Automatic executable test case generation for extended finite state machine protocols. In: IWTCS 1997, pp. 75\u201390 (1997)","DOI":"10.1007\/978-0-387-35198-8_6"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/157485.164585","volume-title":"DAC 1993","author":"K.T. Cheng","year":"1993","unstructured":"Cheng, K.T., Krishnakumar, A.S.: Automatic functional test generation using the extended finite state machine model. In: DAC 1993, pp. 86\u201391. ACM Press, New York (1993)"},{"key":"17_CR5","unstructured":"Dai, Z.R., Deussen, P.H., Busch, M., Lacmene, L.P., Ngwangwen, T., Herrmann, J., Schmidt, M.: Automatic Test Data Generation for TTCN-3 using CTE. In: ICSSEA (2005)"},{"key":"17_CR6","unstructured":"Object\u00a0Management Group. Object Constraint Language (OCL), version 2.0 (2005)"},{"key":"17_CR7","unstructured":"Object\u00a0Management Group. Unified Modeling Language (UML), version 2.1 (2007)"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/978-3-540-48480-6_13","volume-title":"The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation","author":"A. Hamie","year":"1999","unstructured":"Hamie, A., Civello, F., Howse, J., Kent, S.J.H., Mitchell, R.: Reflections on the object constraint language. In: B\u00e9zivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol.\u00a01618, pp. 162\u2013172. Springer, Heidelberg (1999)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Hierons, R., Harman, M., Fox, C., Ouarbya, L., Daoudi, M.: Conditioned slicing supports partition testing. In: Software Testing, Verification and Reliability (2002)","DOI":"10.1002\/stvr.232"},{"key":"17_CR10","unstructured":"Reactive\u00a0Systems Inc. Reactis, http:\/\/www.reactive-systems.com"},{"key":"17_CR11","unstructured":"Kansomkeat, S., Rivepiboon, W.: Automated-generating test case using UML statechart diagrams. In: SAICSIT 2003, pp. 296\u2013300 (2003)"},{"key":"17_CR12","first-page":"139","volume-title":"ISSRE 2004","author":"N. Kosmatov","year":"2004","unstructured":"Kosmatov, N., Legeard, B., Peureux, F., Utting, M.: Boundary coverage criteria for test generation from formal models. In: ISSRE 2004, pp. 139\u2013150. IEEE, Los Alamitos (2004)"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-45614-7_2","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"B. Legeard","year":"2002","unstructured":"Legeard, B., Peureux, F., Utting, M.: Automated Boundary Testing from Z and B. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 21\u201340. Springer, Heidelberg (2002)"},{"key":"17_CR14","unstructured":"Leirios: LTG\/UML, http:\/\/www.leirios.com"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Liskov, B.: Keynote address - data abstraction and hierarchy. In: SIGPLAN, pp. 17\u201334 (1988)","DOI":"10.1145\/62139.62141"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/3-540-46852-8_30","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J. Offutt","year":"1999","unstructured":"Offutt, J., Abdurazik, A.: Generating tests from UML specifications. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 416\u2013429. Springer, Heidelberg (1999)"},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/978-3-540-49524-6_35","volume-title":"Conceptual Modeling \u2013 ER \u201998","author":"M. Richters","year":"1998","unstructured":"Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol.\u00a01507, pp. 449\u2013464. Springer, Heidelberg (1998)"},{"key":"17_CR18","unstructured":"Wei\u00dfleder, S.: ParTeG (Partition Test Generator), http:\/\/parteg.sourceforge.net"},{"key":"17_CR19","first-page":"94","volume-title":"ATS 2005","author":"P. Samuel","year":"2005","unstructured":"Samuel, P., Mall, R.: Boundary Value Testing based on UML Models. In: ATS 2005, pp. 94\u201399. IEEE Computer Society, Los Alamitos (2005)"},{"key":"17_CR20","unstructured":"Sokenou, D.: Generating Test Sequences from UML Sequence Diagrams and State Diagrams. In: INFORMATIK 2006, pp. 236\u2013240 (2006)"},{"key":"17_CR21","unstructured":"Telcordia Technologies. AETG, http:\/\/aetgweb.argreenhouse.com"},{"key":"17_CR22","unstructured":"Telelogic. Rhapsody Automated Test Generation, http:\/\/www.telelogic.com"},{"issue":"8","key":"17_CR23","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1109\/TSE.2006.79","volume":"32","author":"Y. Traon Le","year":"2006","unstructured":"Le Traon, Y.: Design by contract to improve software vigilance. IEEE Trans. Softw. Eng.\u00a032(8), 571\u2013586 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"17_CR24","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M. Utting","year":"2006","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco (2006)"},{"key":"17_CR25","unstructured":"VerifySoft Technology. Conformiq Test Generator, http:\/\/www.verifysoft.com\/"},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"Ziemann, P., Gogolla, M.: Validating OCL specifications with the USE tool \u2014 an example based on the BART case study. In: FMICS 2003 (2003)","DOI":"10.1016\/S1571-0661(04)80816-8"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69073-3_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:31:12Z","timestamp":1605763872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69073-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540690696","9783540690733"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69073-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}