{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T15:11:33Z","timestamp":1767625893437},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214691"},{"type":"electronic","value":"9783642214707"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21470-7_9","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T10:57:17Z","timestamp":1307703437000},"page":"115-131","source":"Crossref","is-referenced-by-count":24,"title":["Automated Transition from Use Cases to UML State Machines to Support State-Based Testing"],"prefix":"10.1007","author":[{"given":"Tao","family":"Yue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaukat","family":"Ali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Shafique, M., Labiche, Y.: A Systematic Review of Model Based Testing Tool Support. Carleton University, Technical Report SCE-10-04"},{"key":"9_CR2","volume-title":"The 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies","author":"A.C.D. Neto","year":"2007","unstructured":"Neto, A.C.D., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: a systematic review. In: The 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies. ACM, Atlanta (2007)"},{"key":"9_CR3","unstructured":"Yue, T., Briand, L.C., Labiche, Y.: Automatically Deriving a UML Analysis Model from a Use Case Model. Simula Research Laboratory, Technical Report 2010-15 (2010)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-13595-8_26","volume-title":"Modelling Foundations and Applications","author":"T. Yue","year":"2010","unstructured":"Yue, T., Briand, L.C., Labiche, Y.: An Automated Approach to Transform Use Cases into Activity Diagrams. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 337\u2013353. Springer, Heidelberg (2010)"},{"key":"9_CR5","unstructured":"Cisco Norway (Tandberg), http:\/\/www.tandberg.no\/"},{"key":"9_CR6","unstructured":"IEEE Std. 830-1998, IEEE Standard for Software Requirement Specification (1998)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/978-3-540-72901-3_11","volume-title":"Model Driven Architecture - Foundations and Applications","author":"G.K. Olsen","year":"2007","unstructured":"Olsen, G.K., Oldevik, J.: Scenarios of traceability in model to text transformations. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA. LNCS, vol.\u00a04530, pp. 144\u2013156. Springer, Heidelberg (2007)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-642-04425-0_37","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Yue","year":"2009","unstructured":"Yue, T., Briand, L.C., Labiche, Y.: A use case modeling approach to facilitate the transition towards analysis models: Concepts and empirical evaluation. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 484\u2013498. Springer, Heidelberg (2009)"},{"key":"9_CR9","unstructured":"Ali, S., Hemmati, H., Holt, N.E., Arisholm, E., Briand, L.: Model Transformations as a Strategy to Automate Model-Based Testing - A Tool and Industrial Case Studies, Simula Research Laboratory, Technical Report (2010-01) (2010)"},{"key":"9_CR10","unstructured":"Smartesting, http:\/\/www.smartesting.com"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Yue, T., Briand, L.C., Labiche, Y.: A systematic review of transformation approaches between user requirements and analysis models. Accepted for publication in Requirements Engineering (Online first) (2011)","DOI":"10.1007\/s00766-010-0111-y"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s007660200005","volume":"7","author":"E. Insfr\u00e1n","year":"2002","unstructured":"Insfr\u00e1n, E., Pastor, O., Wieringa, R.: Requirements Engineering-Based Conceptual Modelling. Requirements Engineering\u00a07, 61\u201372 (2002)","journal-title":"Requirements Engineering"},{"key":"9_CR13","first-page":"456","volume-title":"An approach for the synthesis of state transition graphs from use cases","author":"S.S. Some","year":"2003","unstructured":"Some, S.S.: An approach for the synthesis of state transition graphs from use cases, vol.\u00a01, pp. 456\u2013462. CSREA Press, Las Vegas (2003)"},{"key":"9_CR14","unstructured":"Yue, T., Briand, L., Labiche, Y.: Facilitating the Transition from Use Case Models to Analysis Models: Approach and Experiments, Simula Research Laboratory, Technical Report (2010-12) (2010)"},{"key":"9_CR15","volume-title":"Use Case Modeling","author":"K. Bittner","year":"2002","unstructured":"Bittner, K., Spence, I.: Use Case Modeling. Addison-Wesley, Boston (2002)"},{"key":"9_CR16","unstructured":"OMG: UML 2.2 Superstructure Specification (formal\/2009-02-04)"},{"key":"9_CR17","volume-title":"Syntax: a linguistic introduction to sentence structure","author":"E.K. Brown","year":"1992","unstructured":"Brown, E.K., Miller, J.E.: Syntax: a linguistic introduction to sentence structure. Routledge, London (1992)"},{"key":"9_CR18","unstructured":"Kermeta: Kermeta metaprogramming environment"},{"key":"9_CR19","unstructured":"OMG: OCL 2.0 Specification"},{"key":"9_CR20","unstructured":"Eclipse Foundation: Eclipse Modeling Framework"},{"key":"9_CR21","unstructured":"The Stanford Natural Language Processing Group: The Stanford Parser version 1.6"},{"key":"9_CR22","volume-title":"Designing Concurrent, Distributed, and Real-Time Applications with UML","author":"H. Gomaa","year":"2000","unstructured":"Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley, Reading (2000)"},{"key":"9_CR23","unstructured":"Princeton University, WordNet: A lexical database for English, http:\/\/wordnet.princeton.edu\/"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21470-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T12:33:47Z","timestamp":1560256427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21470-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214691","9783642214707"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21470-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}