{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:11:56Z","timestamp":1725520316321},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540881933"},{"type":"electronic","value":"9783540881940"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88194-0_6","type":"book-chapter","created":{"date-parts":[[2008,10,17]],"date-time":"2008-10-17T14:56:21Z","timestamp":1224255381000},"page":"45-65","source":"Crossref","is-referenced-by-count":8,"title":["Conformance Testing Based on UML State Machines"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Seifert","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"UML2: Unified Modeling Language: Infrastructure and Superstructure. Object Management Group, Version 2.1.1, formal\/07-02-03 (2007), http:\/\/www.uml.org\/uml"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30482-1_36","volume-title":"Formal Methods and Software Engineering","author":"M. Balser","year":"2004","unstructured":"Balser, M., B\u00e4umler, S., Knapp, A., Reif, W., Thums, A.: Interactive Verification of UML State Machines. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308. Springer, Heidelberg (2004)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J. Lilius","year":"1999","unstructured":"Lilius, J., Paltor, I.P.: Formalising UML State Machines for Model Checking. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723. Springer, Heidelberg (1999)"},{"key":"6_CR4","doi-asserted-by":"crossref","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 (1999)","DOI":"10.1007\/s001659970003"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Hennessy, M.C.B.: Testing Equivalences for Processes. Theoretical Computer Science (1984)","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"6_CR6","volume-title":"Protocol Specification, Testing and Verification","author":"E. Brinksma","year":"1988","unstructured":"Brinksma, E.: A Theory for the Derivation of Tests. In: Protocol Specification, Testing and Verification. North-Holland, Amsterdam (1988)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software\u2013Concepts and Tools (1996)","DOI":"10.1007\/3-540-61042-1_42"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Lee, D., Yannakakis, M.: Principles and Methods of Testing Finite State Machines - A Survey. In: Proceedings of the IEEE (1996)","DOI":"10.1109\/5.533956"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Fault Model-driven Test Derivation from Finite State Models: Annotated Bibliography","author":"A. Petrenko","year":"2001","unstructured":"Petrenko, A.: Fault Model-driven Test Derivation from Finite State Models: Annotated Bibliography. LNCS. Springer, Heidelberg (2001)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44667-2","volume-title":"Testing Transition Systems: An Annotated Bibliography","author":"E. Brinksma","year":"2001","unstructured":"Brinksma, E., Tretmans, J.: Testing Transition Systems: An Annotated Bibliography. LNCS. Springer, Heidelberg (2001)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Fujiwara, S., van Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test Selection Based on Finite State Models. IEEE Transactions on Software Engineering (1991)","DOI":"10.1109\/32.87284"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Yang, B., Ural, H.: Protocol Conformance Test Generation using multiple UIO Sequences with Overlapping. SIGCOMM Computer Communication Review (1990)","DOI":"10.1145\/99517.99543"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Chow, T.S.: Testing Software Design Modeled by Finite-State Machines. IEEE Transactions on Software Engineering (1978)","DOI":"10.1109\/TSE.1978.231496"},{"key":"6_CR14","unstructured":"Luo, G., van Bochmann, G., Petrenko, A.: Test Selection Based on Communicating Nondeterministic Finite State Machines Using a Generalized Wp-Method. IEEE Transactions on Software Engineering (1994)"},{"key":"6_CR15","volume-title":"Engineering Complex Computer Systems (ICECCS)","author":"S. Gnesi","year":"2004","unstructured":"Gnesi, S., Latella, D., Massink, M.: Formal Test-case Generation for UML Statecharts. In: Engineering Complex Computer Systems (ICECCS). IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Offutt, A.J., Liu, S., Abdurazik, A., Ammann, P.: Generating test data from state-based specifications. Software Test, Verification. Reliability (2003)","DOI":"10.1002\/stvr.264"},{"key":"6_CR17","volume-title":"International Symposium on High-Assurance Systems Engineering","author":"D. Latella","year":"2001","unstructured":"Latella, D., Massink, M.: A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. In: International Symposium on High-Assurance Systems Engineering. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Latella, D., Massink, M.: On Testing and Conformance Relations for UML Statechart Diagrams Behaviours. SIGSOFT Software Engineering Notes (2002)","DOI":"10.1145\/566172.566194"},{"key":"6_CR19","volume-title":"The Unified Modeling Language (UML)","author":"J. Offutt","year":"1999","unstructured":"Offutt, J., Abdurazik, A.: Generating Tests from UML Specifications. In: The Unified Modeling Language (UML). Springer, Heidelberg (1999)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Pretschner, A., L\u00f6tzbeyer, H., Philipps, J.: Model based Testing in incremental System Development. Journal of Systems and Software (2004)","DOI":"10.1016\/S0164-1212(03)00076-1"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Hartman, A., Nagin, K.: The AGEDIS Tools for Model Based Testing. In: International Symposium on Software Testing and Analysis (ISSTA 2004), pp. 129\u2013132 (2004)","DOI":"10.1145\/1007512.1007529"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Technical Report MSR-TR-2005-59, Microsoft Research (2005)","DOI":"10.1007\/11526841_38"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Harel, D.: Statecharts: A Visual Formulation for Complex Systems. Science of Computer Programming (1987)","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"6_CR24","unstructured":"Seifert, D.: An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data. Technical Report inria-00274391, DEDALE (LORIA) (2008)"},{"key":"6_CR25","unstructured":"Seifert, D.: Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten. Shaker Verlag, Also: PhD dissertation, Technische Universit\u00e4t Berlin (2007)"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology (1996)","DOI":"10.1145\/235321.235322"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"De Nicola, R.: Extensional Equivalences for Transition Systems. Acta Informatica (1987)","DOI":"10.1007\/BF00264365"},{"key":"6_CR28","unstructured":"Seifert, D., Souqui\u00e8res, J.: Using UML Protocol State Machines in Conformance Testing of Components. Technical Report inria-00274383, DEDALE (LORIA) (2008)"},{"key":"6_CR29","unstructured":"Santen, T., Seifert, D.: Teager - Test Automation for UML State Machines. In: Software Engineering 2006. LNI, GI (2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88194-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T19:08:11Z","timestamp":1557860891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88194-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540881933","9783540881940"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88194-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}