{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T19:30:22Z","timestamp":1718998222618},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,1,18]],"date-time":"2013-01-18T00:00:00Z","timestamp":1358467200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1007\/s10515-012-0118-3","type":"journal-article","created":{"date-parts":[[2013,1,17]],"date-time":"2013-01-17T16:06:45Z","timestamp":1358438805000},"page":"299-337","source":"Crossref","is-referenced-by-count":3,"title":["Experiences using Tedeso: an extensible and interoperable model-based testing platform"],"prefix":"10.1007","volume":"20","author":[{"given":"Roberto Silveira","family":"Silva Filho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William M.","family":"Hasling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christof J.","family":"Budnik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monica","family":"McKenna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,1,18]]},"reference":[{"key":"118_CR1","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/1053331.1053345","volume":"3","author":"D. Birsan","year":"2005","unstructured":"Birsan, D.: On plug-ins and extensible architectures. ACM Queue 3, 41\u201346 (2005)","journal-title":"ACM Queue"},{"key":"118_CR2","series-title":"LNI","first-page":"223","volume-title":"GI Jahrestagung (1)","author":"C.J. Budnik","year":"2008","unstructured":"Budnik, C.J., Subramanyan, R., Vieira, M.: Peer-to-peer comparison of model-based test tools. In: Hegering, H.-G., Lehmann, A., Ohlbach, H.J., Scheideler, C. (eds.) GI Jahrestagung (1), LNI, pp. 223\u2013226 (2008), GI"},{"key":"118_CR3","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/SBCARS.2011.11","volume-title":"Fifth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS\u20192011)","author":"O. Crelier","year":"2011","unstructured":"Crelier, O., Silva Filho, R.S., Hasling, W.M., Budnik, C.J.: Design principles for integration of model-driven quality assurance tools. In: Fifth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS\u20192011), pp. 100\u2013109. IEEE, S\u00e3o Paulo (2011)"},{"key":"118_CR4","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1145\/302405.302640","volume-title":"Proceedings of the 21st International Conference on Software Engineering","author":"S.R. Dalal","year":"1999","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 21st International Conference on Software Engineering, ICSE\u201999, pp. 285\u2013294. ACM, New York (1999)"},{"key":"118_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1297105.1297029","volume":"42","author":"T. Ekman","year":"2007","unstructured":"Ekman, T., Hedin, G.: The jastadd extensible Java compiler. SIGPLAN Not. 42, 1\u201318 (2007)","journal-title":"SIGPLAN Not."},{"key":"118_CR6","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1145\/1787234.1787269","volume":"53","author":"M.N. Haines","year":"2010","unstructured":"Haines, M.N., Rothenberger, M.A.: How a service-oriented architecture may change the software development process. Commun. ACM 53, 135\u2013140 (2010)","journal-title":"Commun. ACM"},{"key":"118_CR7","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1145\/1007512.1007529","volume-title":"Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"A. Hartman","year":"2004","unstructured":"Hartman, A., Nagin, K.: The AGEDIS tools for model based testing. In: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA\u201904, pp. 129\u2013132. ACM, New York (2004)"},{"key":"118_CR8","first-page":"367","volume-title":"Model Based Testing of System Requirements using UML Use Case Models","author":"B. Hasling","year":"2008","unstructured":"Hasling, B., Goetz, H., Beetz, K.: Model Based Testing of System Requirements using UML Use Case Models, pp. 367\u2013376. IEEE Press, New York (2008)"},{"key":"118_CR9","volume-title":"The 1st Workshop on Future Trends of Model-Driven Development","author":"C. Hein","year":"2006","unstructured":"Hein, C., Ritter, T., Wagner, M.: Model-driven tool integration with ModelBus. In: The 1st Workshop on Future Trends of Model-Driven Development, Milan, Italy (2006)"},{"key":"118_CR10","first-page":"175","volume-title":"ASME Conference Proceedings 2009","author":"S.P. Masticola","year":"2009","unstructured":"Masticola, S.P., Subramanyan, R.: Experience with developing a high-productivity test framework for scalable embedded and mechatronic systems. In: ASME Conference Proceedings 2009, pp.\u00a0175\u2013184 (2009)"},{"key":"118_CR11","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T.J. Ostrand","year":"1988","unstructured":"Ostrand, T.J., Balcer, M.J.: The category-partition method for specifying and generating functional tests. Commun. ACM 31, 676\u2013686 (1988)","journal-title":"Commun. ACM"},{"key":"118_CR12","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/ICSE.1994.296790","volume-title":"Proceedings of the 16th International Conference on Software Engineering","author":"D.L. Parnas","year":"1994","unstructured":"Parnas, D.L.: Software aging. In: Proceedings of the 16th International Conference on Software Engineering, ICSE\u201994, pp. 279\u2013287. IEEE Comput. Soc., Los Alamitos (1994)"},{"key":"118_CR13","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D.E. Perry","year":"1992","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. SIGSOFT Softw. Eng. Notes 17, 40\u201352 (1992)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"118_CR14","first-page":"291","volume-title":"Service-Oriented Workflow: The DySCo Framework","author":"G. Piccinelli","year":"2003","unstructured":"Piccinelli, G., Finkelstein, A., Williams, S.L.: Service-Oriented Workflow: The DySCo Framework, pp. 291\u2013297. IEEE Press, New York (2003)"},{"key":"118_CR15","first-page":"449","volume-title":"Proceedings of the 17th International Conference on Conceptual Modeling","author":"M. Richters","year":"1998","unstructured":"Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: Proceedings of the 17th International Conference on Conceptual Modeling, ER\u201998, pp. 449\u2013464. Springer, London (1998)"},{"key":"118_CR16","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/1960314.1960321","volume-title":"Proceedings of the Tenth International Conference on Aspect-Oriented Software Development Companion","author":"R.S. Silva\u00a0Filho","year":"2011","unstructured":"Silva\u00a0Filho, R.S., Bronsard, F., Hasling, W.M.: Experiences documenting and preserving software constraints using aspects. In: Proceedings of the Tenth International Conference on Aspect-Oriented Software Development Companion, AOSD\u201911, pp. 7\u201318. ACM, New York (2011)"},{"key":"118_CR17","doi-asserted-by":"crossref","unstructured":"Silva\u00a0Filho, R.S., Budnik, C.J.: An integrated model-driven approach for mechatronic systems testing. In: Fifth IEEE International Conference on Software Testing, Verification and Validation (2012, to appear)","DOI":"10.1109\/ICST.2012.125"},{"key":"118_CR18","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1109\/COMPSACW.2010.63","volume-title":"2010 IEEE 34th Annual Conference on Computer Software and Applications Conference Workshops (COMPSACW)","author":"R.S. Silva Filho","year":"2010","unstructured":"Silva Filho, R.S., Budnik, C.J., Hasling, W.M., McKenna, M., Subramanyan, R.: Supporting concern-based regression testing and prioritization in a model-driven environment. In: 2010 IEEE 34th Annual Conference on Computer Software and Applications Conference Workshops (COMPSACW), pp. 323\u2013328. IEEE, Seoul (2010)"},{"key":"118_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/966618.966633","volume-title":"Proceedings of the 2nd International Workshop on Distributed Event-Based Systems","author":"R.S. Silva Filho","year":"2003","unstructured":"Silva Filho, R.S., de\u00a0Souza, C.R.B., Redmiles, D.F.: The design of a configurable, extensible and dynamic notification service. In: Proceedings of the 2nd International Workshop on Distributed Event-Based Systems, DEBS\u201903, pp. 1\u20138. ACM, New York (2003)"},{"key":"118_CR20","first-page":"33","volume-title":"9th International Conference on Feature Interactions in Software and Communication Systems (ICFI\u201907)","author":"R.S. Silva Filho","year":"2007","unstructured":"Silva Filho, R.S., Redmiles, D.F.: Managing feature interaction by documenting and enforcing dependencies in software product lines. In: 9th International Conference on Feature Interactions in Software and Communication Systems (ICFI\u201907), Grenoble, France, pp. 33\u201348 (2007)"},{"key":"118_CR21","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/C-M.1981.220410","volume":"14","author":"W. Teitelman","year":"1981","unstructured":"Teitelman, W., Masinter, L.: The interlisp programming environment. Computer 14, 25\u201333 (1981)","journal-title":"Computer"},{"key":"118_CR22","first-page":"39","volume":"3","author":"I. Thomas","year":"2007","unstructured":"Thomas, I.: Modellbasiertes Testen. J.\u00a0OBJEKTspektrum, SIGS DATACOM 3, 39\u201345 (2007)","journal-title":"J.\u00a0OBJEKTspektrum, SIGS DATACOM"},{"key":"118_CR23","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/52.120599","volume":"9","author":"I. Thomas","year":"1992","unstructured":"Thomas, I., Nejmeh, B.A.: Definitions of tool integration for environments. IEEE Softw. 9, 29\u201335 (1992)","journal-title":"IEEE Softw."},{"key":"118_CR24","volume-title":"Practical Model-Based Testing: A\u00a0Tools Approach","author":"M. Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A\u00a0Tools Approach. Morgan Kaufmann, San Francisco (2007)"},{"key":"118_CR25","first-page":"669","volume-title":"Proceedings of the 30th International Conference on Software Engineering","author":"M. Vieira","year":"2008","unstructured":"Vieira, M., Song, X., Matos, G., Storck, S., Tanikella, R., Hasling, B.: Applying model-based testing to healthcare products: preliminary experiences. In: Proceedings of the 30th International Conference on Software Engineering, ICSE\u201908, pp. 669\u2013672. ACM, New York (2008)"},{"key":"118_CR26","first-page":"369","volume-title":"Research on Service-Oriented Workflow Management System Architecture","author":"Z. Yongyi","year":"2009","unstructured":"Yongyi, Z., Youjie, F., Hui, L.: Research on Service-Oriented Workflow Management System Architecture, pp. 369\u2013372. IEEE Press, New York (2009)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-012-0118-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-012-0118-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-012-0118-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T19:16:12Z","timestamp":1559157372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-012-0118-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,18]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["118"],"URL":"https:\/\/doi.org\/10.1007\/s10515-012-0118-3","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,18]]}}}