{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:51:33Z","timestamp":1742385093288},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540258773"},{"type":"electronic","value":"9783540320494"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11424529_18","type":"book-chapter","created":{"date-parts":[[2010,9,25]],"date-time":"2010-09-25T18:55:14Z","timestamp":1285440914000},"page":"267-282","source":"Crossref","is-referenced-by-count":24,"title":["TeStor: Deriving Test Sequences from Model-Based Specifications"],"prefix":"10.1007","author":[{"given":"Patrizio","family":"Pelliccione","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry","family":"Muccini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Bucchiarone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio","family":"Facchini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"AGEDIS Project, http:\/\/www.agedis.de\/index.shtml"},{"key":"18_CR2","unstructured":"Model-based Testing Home Page, http:\/\/www.geocities.com\/model_based_testing\/ Maintained by Harry Robinson"},{"key":"18_CR3","unstructured":"UMLAUT Project, http:\/\/www.irisa.fr\/UMLAUT\/"},{"key":"18_CR4","unstructured":"CHARMY Project. Charmy Web Site (2004), http:\/\/www.di.univaq.it\/charmy"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Antoniol, G., Briand, L.C., Di Penta, M., Labiche, Y.: A Case Study Using the Round-Trip Strategy for State-Based Class Testing. In: Proc. IEEE ISSRE 2002 (2002)","DOI":"10.1109\/ISSRE.2002.1173268"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/3-540-45800-X_30","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"F. Basanieri","year":"2002","unstructured":"Basanieri, F., Bertolino, A., Marchetti, E.: The Cow Suite Approach to Planning and Deriving Test Suites in UML Project. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 383\u2013397. Springer, Heidelberg (2002)"},{"key":"#cr-split#-18_CR7.1","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Marchetti, E., Muccini, H.: Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. In: Testing and Analysis of Component-Based Systems Workshop, Tacos (2004);","DOI":"10.1016\/j.entcs.2004.02.084"},{"key":"#cr-split#-18_CR7.2","unstructured":"To be published in Electronic Notes of Theoretical Computer Science (2004)"},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/s10270-002-0004-8","volume":"1","author":"L.C. Briand","year":"2002","unstructured":"Briand, L.C., Labiche, Y.: A UML-Based Approach to System Testing. Journal of Software and System Modelling (SoSyM)\u00a01(1), 10\u201342 (2002)","journal-title":"Journal of Software and System Modelling (SoSyM)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-540-30233-9_26","volume-title":"Applying Formal Methods: Testing, Performance, and M\/E-Commerce","author":"A. Bucchiarone","year":"2004","unstructured":"Bucchiarone, A., Muccini, H., Pelliccione, P., Pierini, P.: Model-Checking plus Testing: from Software Architecture Analysis to Code Testing. In: N\u00fa\u00f1ez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds.) FORTE 2004. LNCS, vol.\u00a03236, pp. 351\u2013365. Springer, Heidelberg (2004)"},{"volume-title":"Building Reliable Component-based Software Systems","year":"2002","key":"18_CR10","unstructured":"Crnkovic, I., Larsson, M. (eds.): Building Reliable Component-based Software Systems, July 2002. Artech House, Norwood (2002)"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Fraikin, F., Leonhardt, T.: Seditec - testing based on sequence diagrams. In: Proc. IEEE CASE 2002, Edingburgh (September 2002)","DOI":"10.1109\/ASE.2002.1115026"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/3-540-40011-7_3","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"P. Graubmann","year":"2000","unstructured":"Graubmann, P., Rudolph, E.: HyperMSCs and Sequence Diagrams for use case modeling and testing. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 32\u201346. Springer, Heidelberg (2000)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: Specifying and Executing Behavioural Requirements: The Play In\/Play-Out Approach. Journal of Software and System Modelling, SoSyM (2003)","DOI":"10.1145\/985072.985115"},{"key":"18_CR14","unstructured":"Hartman, A.: Model Based Test Generation Tools. Technical report, AGEDIS project Downloads (2002)"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Hartmann, J., Imoberdof, C., Meisenger, M.: UML-Based Integration Testing. In: ACM Proc. ISSTA 2000, Portland (2000)","DOI":"10.1145\/347324.348872"},{"key":"18_CR16","unstructured":"Jard, C., J\u00e9ron, T.: Tgv: theory, principles and algorithms. In: The Sixth World Conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, California, USA (June 2002)"},{"issue":"4","key":"18_CR17","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1049\/ip-sen:19990602","volume":"146","author":"G. Kim","year":"1999","unstructured":"Kim, G., Hong, H.S., Bae, D.H., Cha, S.D.: Test Cases Generation from UML State Diagram. IEEE Proceedings - Software\u00a0146(4), 187\u2013192 (1999)","journal-title":"IEEE Proceedings - Software"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Liuying, L., Zhichang, Q.: Test Selection from UML Statecharts. In: Proc. of 31st Int. Conf. on Technology of Object-Oriented Language and System, China, September 22-25 (1999)","DOI":"10.1109\/TOOLS.1999.796494"},{"key":"18_CR19","unstructured":"Marchetti, E.: Software Testing in the XXI Century: Methods, Tools and New Approaches to Manage, Control and Evaluate This Critical Phase. PhD thesis, University of Pisa (September 2003)"},{"key":"18_CR20","unstructured":"Muccini, H., Pelliccione, P., Bucchiarone, A., Pierini, P.: Software Architecture-driven System Testing through Model-Checking. Technical Report TRCS 035\/2004, University of L\u2019Aquila (2004)"},{"key":"18_CR21","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 Test from UML Specifications. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 416\u2013429. Springer, Heidelberg (1999)"},{"issue":"6","key":"18_CR22","doi-asserted-by":"publisher","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. Communications of the ACM\u00a031(6), 676\u2013686 (1988)","journal-title":"Communications of the ACM"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Pelliccione, P., Muccini, H., Bucchiarone, A., Facchini, F.: Deriving Test Sequences from Model-based Specifications. Technical Report TRCS 002\/2005, University of L\u2019Aquila (2005)","DOI":"10.1007\/11424529_18"},{"key":"18_CR24","unstructured":"Ryser, J., Glinz, M.: Using Dependency Charts to ImproveScenario-Based Testing (2000)"},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Wittevrongel, J., Maurer, F.: Using UML to Partially Automate Generation of Scenario-Based Test Drivers. In: Springer (ed.) OOIS 2001 (2001)","DOI":"10.1007\/978-1-4471-0719-4_31"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11424529_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:53:17Z","timestamp":1605642797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11424529_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540258773","9783540320494"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11424529_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}