{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T17:40:37Z","timestamp":1687714837794},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,9,11]],"date-time":"2012-09-11T00:00:00Z","timestamp":1347321600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1007\/s10270-012-0282-8","type":"journal-article","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T09:06:54Z","timestamp":1347268014000},"page":"1141-1165","source":"Crossref","is-referenced-by-count":3,"title":["Automatic generation of built-in contract test drivers"],"prefix":"10.1007","volume":"13","author":[{"given":"Everton L. G.","family":"Alves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patricia D. L.","family":"Machado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franklin","family":"Ramalho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,9,11]]},"reference":[{"key":"282_CR1","doi-asserted-by":"crossref","unstructured":"Aboulsamh, M., Davies, J.: Towards a model-driven approach to information system evolution. In: Information Systems Development, pp. 269\u2013280. Springer, Berlin (2011)","DOI":"10.1007\/978-1-4419-7355-9_23"},{"key":"282_CR2","unstructured":"AMMA Project: Atlas transformation language (2005). http:\/\/www.sciences.univ-nantes.fr\/lina\/atl\/"},{"key":"282_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)"},{"key":"282_CR4","doi-asserted-by":"crossref","unstructured":"Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D., Paech, B., W\u00fcst, J., Zettel, J.: Component-based Product Line Engineering with UML. Component Software Series. Addison-Wesley, Boston (2002)","DOI":"10.1007\/3-540-46020-9_34"},{"key":"282_CR5","unstructured":"Atkinson, C., Gross, H.G.: Built-in contract testing in model-driven, component-based development. In: Proceedings of ICSR\u2014Workshop on Component-Based Development Processes (2002)"},{"key":"282_CR6","unstructured":"Baker, P., Dai, Z.R., Grabowski, J., Haugen, O., Samuelsson, E., Schieferdecker, I., Williams, C.E.: The UML 2.0 Testing Profile. In: Proceedings of the \u20188th Conference on Quality Engineering in Software Technology 2004\u2019 (CONQUEST 2004) in Nuremberg (Germany), pp. 181-189. ASQF e.V., Erlangen, September 22\u201324, 2004. ISBN 3-9809145-1-8"},{"key":"282_CR7","volume-title":"Model-Driven Testing: Using the UML Testing Profile, 1 edn","author":"P Baker","year":"2007","unstructured":"Baker, P., Grabowski, J., Haugen, O., Schieferdecker, I., Williams, C.: Model-Driven Testing: Using the UML Testing Profile, 1 edn. Springer, Berlin (2007)"},{"key":"282_CR8","unstructured":"Barbero, M.: Javaabstractsyntax (2006). http:\/\/www.eclipse.org\/"},{"key":"282_CR9","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1142\/S0218194007003276","volume":"17","author":"DL Barbosa","year":"2007","unstructured":"Barbosa, D.L., Lima, H.S., Machado, P.D.L., Figueiredo, J.C.A., Juca, M.A., Andrade, W.L.: Automating functional testing of components from UML specifications. Int. J. Softw. Eng. Knowl. Eng. 17, 339\u2013358 (2007)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"282_CR10","doi-asserted-by":"crossref","unstructured":"Belinfante, A.: JTorX: a tool for on-line model-driven test derivation and execution. In: Tools and Algorithms for the Construction and Analysis of Systems, vol. 6015, pp. 266\u2013270. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-12002-2_21"},{"key":"282_CR11","doi-asserted-by":"crossref","unstructured":"Berger, B., Abuelbassal, M., Hossain, M.: Model driven testing. Tech. rep., DNA Enterprises, Inc (1997)","DOI":"10.1016\/S1359-6128(97)90067-7"},{"key":"282_CR12","unstructured":"Born, M., Schieferdecker, I., Gross, H.G., Santos, P.: Model-driven development and testing\u2014a case study. In: Proceedings of First European Workshop on Model Driven Architecture with Emphasis on Industrial Application, pp. 97\u2013104. University of Twente, Enschede (2004)"},{"key":"282_CR13","doi-asserted-by":"crossref","unstructured":"Briand, L.C., Labiche, Y., S\u00f3wka, M.M.: Automated, contract-based user testing of commercial-off-the-shelf components. In: ICSE \u201906: Proc. of the 28th Int. Conference on Software Engineering, pp. 92\u2013101. ACM Press, New York (2006)","DOI":"10.1145\/1134285.1134300"},{"key":"282_CR14","volume-title":"Eclipse Modeling Framework","author":"F Budinsky","year":"2003","unstructured":"Budinsky, F., Brodsky, S.A., Merks, E.: Eclipse Modeling Framework. Pearson Education, Upper Saddle River (2003)"},{"key":"282_CR15","volume-title":"UML Components\u2014A Simple Process for Specifying Component-Based Software. Component Software Series","author":"J Cheesman","year":"2001","unstructured":"Cheesman, J., Daniels, J.: UML Components\u2014A Simple Process for Specifying Component-Based Software. Component Software Series. Addison-Wesley, Boston (2001)"},{"key":"282_CR16","unstructured":"Dai, Z.R.: Model-driven testing with UML 2.0. In: Proceedings of Second European Workshop on Model Driven Architecture (MDA) with an Emphasis on Methodologies and Transformations. Canterbury, England (2004)"},{"key":"282_CR17","doi-asserted-by":"crossref","unstructured":"Dias Neto, A., Subramanyan, R., Vieira, M., Travassos, G.: A survey on model-based testing approaches: a systematic review. In: Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE) 2007, pp. 31\u201336. ACM (2007)","DOI":"10.1145\/1353673.1353681"},{"key":"282_CR18","unstructured":"Due\u00f1as, J.C., Mellado, J., Cer\u00f3n, R., Arciniega, J.L., Ruiz, J.L., Capilla, R.: Model driven testing in product family context. In: Proceedings of First European Workshop on Model Driven Architecture with Emphasis on Industrial Application. University of Twente, Enschede (2004)"},{"key":"282_CR19","doi-asserted-by":"crossref","unstructured":"Eiselt, H., Gendreau, M., Laporte, G.: Arc routing problems, part I: the Chinese postman problem. Oper. Res. 43(2), 231\u2013242 (1995)","DOI":"10.1287\/opre.43.2.231"},{"key":"282_CR20","unstructured":"Engels, G., Guldali, B., Lohmann, M.: Towards model-driven unit testing. In: Proceedings of Workshops and Symposia at MoDELS 2006, LNCS, vol. 4364 (2006)"},{"key":"282_CR21","doi-asserted-by":"crossref","unstructured":"Gross, H.G., Atkinson, C., Barbier, F.: Component integration through built-in contract testing. In: A. Cechich, M. Piattini, A. Vallcillo (eds.) Component-Based Software Quality . Lecture Notes in Computer Science 2693, 159\u2013183 (2003)","DOI":"10.1007\/978-3-540-45064-1_8"},{"key":"282_CR22","volume-title":"Testing Commercial-off-the-Shelf Components and Systems","author":"HG Gross","year":"2005","unstructured":"Gross, H.G., Schieferdecker, I., Din, G.: Modeling and implementation of built-in contract tests. In: Beydeda, S., Gruhn, V. (eds.) Testing Commercial-off-the-Shelf Components and Systems. Springer, Heidelberg (2005)"},{"key":"282_CR23","doi-asserted-by":"crossref","unstructured":"Heckel, R., Lohmann, M.: Towards model-driven testing. Electron. Notes Theor. Comput. Sci. 82(6) (2003)","DOI":"10.1016\/S1571-0661(04)81023-5"},{"key":"282_CR24","doi-asserted-by":"crossref","unstructured":"Kim, Y., Hong, H., Bae, D., Cha, S.: Test cases generation from uml state diagrams. In: Software, IEE Proceedings-, vol. 146, pp. 187\u2013192. IET (1999)","DOI":"10.1049\/ip-sen:19990602"},{"key":"282_CR25","volume-title":"MDA explained: the model driven architecture: practice and promise","author":"A Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA explained: the model driven architecture: practice and promise. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)"},{"key":"282_CR26","volume-title":"The Rational Unified Process: An Introduction, 3rd edn.","author":"P Kruchten","year":"2003","unstructured":"Kruchten, P.: The Rational Unified Process: An Introduction, 3rd edn. Addison-Wesley, Boston (2003)"},{"key":"282_CR27","unstructured":"Ledo, A., Ramalho, F., Pires, W., Melo, N.: JavaCG\u2014a java code generator for the javaabstractsyntax metamodel (2008). http:\/\/code.google.com\/p\/java-cg\/"},{"key":"282_CR28","doi-asserted-by":"crossref","unstructured":"Lima, H., Ramalho, F., Machado, P., Galdino, E.: Automatic Generation of Platform Independent Built-in Contract Testers. In: Brazilian Symposium of Components, Architectures and Software Reuse, Campinas, pp. 47\u201360 (2007)","DOI":"10.5753\/sbcars.2007.24118"},{"key":"282_CR29","unstructured":"Liuying, L., Zhichang, Q.: Test selection from uml statecharts. In: Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings, pp. 273\u2013279. IEEE (1999)"},{"key":"282_CR30","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-3-540-72912-9_7","volume-title":"Test and Analysis of Web Services","author":"M Lohmann","year":"2007","unstructured":"Lohmann, M., Heckel, R.: A model-driven approach to discovery, testing and monitoring of web services. In: Baresi, L., Nitto, E.D. (eds.) Test and Analysis of Web Services, pp. 173\u2013204. Springer, Berlin (2007)"},{"key":"282_CR31","volume-title":"Object-oriented Software Construction","author":"B Meyer","year":"1997","unstructured":"Meyer, B.: Object-oriented Software Construction. Prentice Hall, Upper Saddle River (1997)"},{"key":"282_CR32","doi-asserted-by":"crossref","unstructured":"Mlynarski, M.: Holistic model-based testing for business information systems. In: Software Testing, Verification and Validation (ICST), 2010 Third International Conference on, pp. 327\u2013330 (2010)","DOI":"10.1109\/ICST.2010.35"},{"key":"282_CR33","doi-asserted-by":"crossref","unstructured":"Mlynarski, M., G\u00fcldali, B., Sp\u00e4th, M., Engels, G.: From design models to test models by means of test ideas. In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa \u201909, pp. 7:1\u20137:10. ACM, New York (2009)","DOI":"10.1145\/1656485.1656492"},{"key":"282_CR34","doi-asserted-by":"crossref","unstructured":"Murthy, P.V., Anitha, P.C., Mahesh, M., Subramanyan, R.: Test ready UML statechart models. In: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, SCESM \u201906, pp. 75\u201382. ACM, New York (2006)","DOI":"10.1145\/1138953.1138968"},{"key":"282_CR35","unstructured":"Object Management Group: OCL 2.0 specification. Tech. Rep. ptc\/2005-06-06, OMG (2005). http:\/\/www.omg.org\/docs\/ptc\/05-06-06.pdf"},{"key":"282_CR36","unstructured":"Object Management Group: UML testing profile. Tech. Rep. formal\/05-07-07, OMG (2005). http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-07"},{"key":"282_CR37","unstructured":"Object Management Group: Meta object facility (MOF) core, v2.0. Tech. Rep. formal\/06-01-01, OMG (2006). http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2006-01-01"},{"key":"282_CR38","unstructured":"Object Management Group: Meta object facility (mof) 2.0 query\/view\/transformation specification. Tech. Rep. Final Adopted Specification ptc\/07-07-07, OMG (2007). http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2007-07-07"},{"key":"282_CR39","unstructured":"Object Management Group: UML superstructure, v2.1.1. Tech. Rep. formal\/07-02-05, OMG (2007). http:\/\/www.omg.org\/cgi-bin\/doc?formal\/07-02-05"},{"issue":"2","key":"282_CR40","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/s10009-003-0128-3","volume":"5","author":"A Pretschner","year":"2004","unstructured":"Pretschner, A., Slotosch, O., Aiglstorfer, E., Kriebel, S.: Model-based testing for real. Int. J. Softw. Tools for Technol. Transf. (STTT) 5(2), 140\u2013157 (2004)","journal-title":"Int. J. Softw. Tools for Technol. Transf. (STTT)"},{"key":"282_CR41","unstructured":"Rocha, A.C.O., Machado, P., Ramalho, F.: Automating inspection of design models guided by test cases. In: Proceedings of 22 IFIP International Conference on Testing Software and Systems (2010)"},{"key":"282_CR42","unstructured":"Shafique, M., Labiche, Y.: A systematic review of model based testing tool support. Tech. rep., Carleton University, Technical, Report SCE-10-04 (2010)"},{"key":"282_CR43","doi-asserted-by":"crossref","unstructured":"Siegl, S., Hielscher, K.S., German, R., Berger, C.: Formal specification and systematic model-driven testing of embedded automotive system. In: Proceedings of the Conference on Design, Automation and Test in Europe (2011)","DOI":"10.1109\/DATE.2011.5763028"},{"key":"282_CR44","doi-asserted-by":"crossref","unstructured":"Tretmans, J.: Model-based testing and some steps towards test-based modelling. In: Proceedings of 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011\u2014Advanced Lectures, vol. 6659, pp. 297\u2013326 (2011)","DOI":"10.1007\/978-3-642-21455-4_9"},{"key":"282_CR45","volume-title":"Practical Model Based Testing: A Tools Approach","author":"M Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model Based Testing: A Tools Approach. Elsevier, Amsterdam (2007)"},{"key":"282_CR46","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, H.D.S.: Test models and coverage criteria for automatic model-based test generation with UML state machines. Ph.D. thesis, Humboldt University, Berlin (2010)","DOI":"10.1201\/b11321-5"},{"key":"282_CR47","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S.: Simulated satisfaction of coverage criteria on uml state machines. In: Software Testing, Verification and Validation (ICST), 2010 Third International Conference on, pp. 117\u2013126 (2010)","DOI":"10.1109\/ICST.2010.28"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0282-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0282-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0282-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T17:00:35Z","timestamp":1687712435000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0282-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,11]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["282"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0282-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,11]]}}}