{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:00:04Z","timestamp":1725552004880},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642122606"},{"type":"electronic","value":"9783642122613"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12261-3_17","type":"book-chapter","created":{"date-parts":[[2010,4,7]],"date-time":"2010-04-07T06:28:06Z","timestamp":1270621686000},"page":"172-185","source":"Crossref","is-referenced-by-count":0,"title":["Generating Class Contracts from Deterministic UML Protocol Statemachines"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Porres","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irum","family":"Rauf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","first-page":"9","volume-title":"The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation","author":"A. Evans","year":"1999","unstructured":"Evans, A., France, R., Lano, K., Rumpe, B.: Developing the UML as a formal modelling notation. In: B\u00e9zivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol.\u00a01618, pp. 9\u201320. Springer, Heidelberg (1999)"},{"key":"17_CR2","unstructured":"UML Revision Task Force. OMG UML Specification 2.2 (2009), \n                    \n                      http:\/\/www.omg.org\/spec\/UML\/2.2\/"},{"key":"17_CR3","unstructured":"Cheon, Y.: Automated Random Testing to Detect Specification-Code Inconsistencies. In: Proceedings of the International Conference on Software Engineering Theory and Practice, Orlando, Florida, U.S.A, July 9-12 (2007)"},{"key":"17_CR4","unstructured":"Cheon, Y., Leavens, G.T.: The JML and JUnit Way of Unit Testing and its Implementation. Technical Report 04-02, Department of Computer Science, Iowa State University, Ames, IA (February 2004)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Leitner, A., Ciupa, I., Manuel, O., Meyer, B., Fiva, A.: Contract driven development = test driven development-writing test cases. In: ESEC-FSE 2007: Proceedings of the ACM Symposium on The Foundations of Software Engineering, New York, NY, USA, pp. 425\u2013434 (2007)","DOI":"10.1145\/1287624.1287685"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-47884-1_1","volume-title":"Integrated Formal Methods","author":"E. Gery","year":"2002","unstructured":"Gery, E., Harel, D., Palachi, E.: Rhapsody: A Complete Lifecycle Model-Based Development System. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 1\u201310. Springer, Heidelberg (2002)"},{"key":"17_CR7","unstructured":"Mens, T., Gorp, P.V.: A Taxonomy of Model Transformation. In: Proceedings of the International Workshop on Graph and Model Transformation (2005)"},{"key":"17_CR8","unstructured":"Ciupa, I., Leitner, A.: Automatic testing based on Design by Contract. In: Proceedings of Net. ObjectDays 2005, 6th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts and Applications for a Networked World, pp. 545\u2013557 (2005)"},{"issue":"1","key":"17_CR9","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C. Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: Formal modelling and design aided by UML. ACM Transactions on Software Engineering and Methodology\u00a015(1), 92\u2013122 (2006)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1049\/ip-sen:19990602","volume":"146","author":"Y. Kim","year":"1999","unstructured":"Kim, Y., Honh, H., Cho, S., Bae, D., Cha, S.: Test Cases Generation from UML State Diagrams. IEE Proceedings Software\u00a0146, 187\u2013192 (1999)","journal-title":"IEE Proceedings Software"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-45441-1_28","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"E. Sekerinski","year":"2001","unstructured":"Sekerinski, E., Zurob, R.: iState: A statechart translator. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 376\u2013390. Springer, Heidelberg (2001)"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/s001659970003","volume":"11","author":"D. Latella","year":"1999","unstructured":"Latella, D., Majzik, I., Massink, M.: Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-Checker. Formal Aspects of Computing\u00a011, 637\u2013664 (1999)","journal-title":"Formal Aspects of Computing"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/3-540-46852-8_31","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J. Lilius","year":"1999","unstructured":"Lilius, J., Porres, I.: Formalising UML State Machines for Model Checking. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 430\u2013444. Springer, Heidelberg (1999)"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/3-540-45739-9_23","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A. Knapp","year":"2002","unstructured":"Knapp, A., Merz, S., Rauh, C.: Model Checking Timed UML State Machines and Collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 395\u2013414. Springer, Heidelberg (2002)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Briand, L.C., Labiche, Y., Sun, H.: Investigating the Use of Analysis Contracts to Support Fault Isolation in Object Oriented Code. In: ISSTA 2002: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software testing and analysis, pp. 70\u201380 (2002)","DOI":"10.1145\/566172.566183"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/BFb0053361","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"E. Sekerinski","year":"1998","unstructured":"Sekerinski, E.: Graphical design of reactive systems. In: Bert, D. (ed.) B 1998. LNCS, vol.\u00a01393, p. 182. Springer, Heidelberg (1998)"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Sekerinski, E.: Verifying Statecharts with State Invariants. In: The Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems, pp. 7\u201314 (2008)","DOI":"10.1109\/ICECCS.2008.40"},{"key":"17_CR18","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying Design by Contract, Computer. IEEE Computer\u00a025, 40\u201351 (1992)","journal-title":"IEEE Computer"},{"issue":"11-12","key":"17_CR19","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1016\/j.infsof.2006.11.002","volume":"49","author":"S. Ali","year":"2007","unstructured":"Ali, S., Briand, L.C., Jaffar-ur Rehman, M., Asghar, H., Iqbal, M.Z., Nadeem, A.: A State-based Approach to Integration Testing for Object-Oriented Programs. Information and Software Technology\u00a049(11-12), 1087\u20131106 (2007)","journal-title":"Information and Software Technology"},{"key":"17_CR20","unstructured":"Kansomkeat, S., Rivepiboon, W.: Automated-Generating Test Case Using Statechart Diagrams. In: Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, vol.\u00a047, pp. 296\u2013300 (2003)"},{"key":"17_CR21","unstructured":"Van Der Straeten, R.: Inconsistency Management in Model-driven Engineering- An Approach using Description Logics. PhD thesis, Department of Computer Science, Vrije Universiteit Brussel, Belgium (2005)"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Benowitz, E., Clark, K., Watney, G.: Auto-coding UML statecharts for flight software. In: SMC-IT 2006: Proceedings of the 2nd IEEE International Conference on Space Mission Challenges for Information Technology, pp. 413\u2013417 (2006)","DOI":"10.1109\/SMC-IT.2006.19"},{"key":"17_CR23","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: JML: a Java modeling language. In: Formal Underpinnings of Java Workshop at OOPSLA 1998 (October 1998)"},{"key":"17_CR24","unstructured":"Niaz, I.A., Tanaka, J.: Mapping Uml Statecharts To Java Code. In: Proceedings of IASTED International Conference on Software Engineering (2004)"},{"key":"17_CR25","unstructured":"Lampinen, J.: Interface specification methods for software components, Publications in the Laboratory for Theoretical Computer Science, Helsinki University of Technology, Department of Information and Computer Science (June 2008)"},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: ACM SIGPLAN 2002: Proceedings of the Conference on Programming language design and implementation, Berlin, Germany, June 17-19 (2002)","DOI":"10.1145\/512529.512558"},{"key":"17_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/3-540-40011-7_28","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"A. Abdurazik","year":"2000","unstructured":"Abdurazik, A., Offutt, J.: Using UML collaboration diagrams for static checking and test generation. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 383\u2013395. Springer, Heidelberg (2000)"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Lohmann, M., Sauer, S., Engels, G.: Executable Visual Contracts. In: VLHCC 2005: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 63\u201370 (2005)","DOI":"10.1109\/VLHCC.2005.35"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12261-3_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:06:47Z","timestamp":1619770007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12261-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642122606","9783642122613"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12261-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}