{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:31:55Z","timestamp":1725557515843},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642137839"},{"type":"electronic","value":"9783642137846"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13784-6_3","type":"book-chapter","created":{"date-parts":[[2010,6,14]],"date-time":"2010-06-14T07:46:49Z","timestamp":1276501609000},"page":"6-22","source":"Crossref","is-referenced-by-count":1,"title":["Reconciling Offshore Outsourcing with Model Based Testing"],"prefix":"10.1007","author":[{"given":"David","family":"Arnold","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Pierre","family":"Corriveau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1109\/MC.2006.37","volume":"39","author":"B. Meyer","year":"2006","unstructured":"Meyer, B.: The Unspoken Revolution in Software Engineering. IEEE Computer\u00a039(1), 121\u2013123 (2006)","journal-title":"IEEE Computer"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-540-75542-5_3","volume-title":"Software Engineering Approaches for Offshore and Outsourced Development","author":"J.-P. Corriveau","year":"2007","unstructured":"Corriveau, J.-P.: Testable Requirements for Offshore Outsourcing. In: Meyer, B., Joseph, M. (eds.) SEAFOOD 2007. LNCS, vol.\u00a04716, pp. 27\u201343. Springer, Heidelberg (2007)"},{"key":"3_CR3","volume-title":"Testing Object-Oriented Systems","author":"R. Binder","year":"2000","unstructured":"Binder, R.: Testing Object-Oriented Systems. Addison-Wesley Professional, Reading (2000)"},{"doi-asserted-by":"crossref","unstructured":"Grieskamp, W.: Multi-Paradigmatic Model-Based Testing. Technical Report #MSR-TR-2006-111, Microsoft Research (2006)","key":"3_CR4","DOI":"10.1007\/11940197_1"},{"unstructured":"International Telecommunications Union: The Evolution of TTCN, http:\/\/www.itu.int\/ITU-T\/studygroups\/com17\/ttcn.html","key":"3_CR5"},{"unstructured":"Ryser, J., Glinz, M.: SCENT: A Method Employing Scenarios to Systematically Derive Test Cases for System Test. Technical Report. University of Zurich (2003)","key":"3_CR6"},{"key":"3_CR7","volume-title":"Test-Driven Development: By Example","author":"K. Beck","year":"2002","unstructured":"Beck, K.: Test-Driven Development: By Example. Addison-Wesley, Reading (2002)"},{"unstructured":"Arnold, D., Corriveau, J.-P., Shi, W.: Validation against Actual Behavior: Still a Challenge for Testing Tools. In: Software Engineering Research and Practice (SERP). CSREA Press (July 2010)","key":"3_CR8"},{"unstructured":"Cucumber, http:\/\/cukes.info\/","key":"3_CR9"},{"unstructured":"Microsoft Research: Spec# Tool, http:\/\/research.microsoft.com\/specsharp","key":"3_CR10"},{"doi-asserted-by":"crossref","unstructured":"Veanes, M., Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N.: Model-based testing of object-oriented reactive systems with Spec Explorer, Tech. Rep. MSR-TR-2005-59, Microsoft Research (2005)","key":"3_CR11","DOI":"10.1007\/11526841_38"},{"issue":"10","key":"3_CR12","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Design by Contract. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"3_CR13","volume-title":"Software Engineering Research, Management & Applications (SERA 2010)","author":"D. Arnold","year":"2010","unstructured":"Arnold, D., Corriveau, J.-P., Shi, W.: Modeling and Validating Requirements using Executable Contracts and Scenarios. In: Software Engineering Research, Management & Applications (SERA 2010). Springer, Heidelberg (May 2010)"},{"key":"3_CR14","volume-title":"Use Case Maps for Object Oriented Systems","author":"R.J.A. Buhr","year":"1995","unstructured":"Buhr, R.J.A., Casselman, R.: Use Case Maps for Object Oriented Systems. Prentice Hall, New York (1995)"},{"key":"3_CR15","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MC.2009.296","volume":"42","author":"B. Meyer","year":"2009","unstructured":"Meyer, B., Fiva, A., Ciupa, I., Leitner, A., Wei, Y., Stapf, E.: Programs that test themselves. IEEE Computer\u00a042, 46\u201355 (2009)","journal-title":"IEEE Computer"},{"unstructured":"Arnold, D., Corriveau, J.-P.: The Validation Framework and its examples, http:\/\/vf.davearnold.ca\/","key":"3_CR16"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/3-540-45441-1_15","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"L. Briand","year":"2001","unstructured":"Briand, L., Labiche, Y.: A UML-Based Approach to System Testing. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 194\u2013208. Springer, Heidelberg (2001)"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1109\/TSE.2006.22","volume":"32","author":"C. Nebut","year":"2006","unstructured":"Nebut, C., Fleury, F., Le Traon, Y., J\u00e9z\u00e9quel, J.M.: Automatic Test Generation: A Use Case Driven Approach. IEEE Transactions on Software Engineering\u00a032, 140\u2013155 (2006)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Business Information Processing","Software Engineering Approaches for Offshore and Outsourced Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13784-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T02:50:21Z","timestamp":1559184621000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13784-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642137839","9783642137846"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13784-6_3","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2010]]}}}