{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T15:41:21Z","timestamp":1760888481921,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642161445"},{"type":"electronic","value":"9783642161452"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16145-2_20","type":"book-chapter","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T11:41:31Z","timestamp":1285069291000},"page":"286-300","source":"Crossref","is-referenced-by-count":21,"title":["Environment Modeling with UML\/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies"],"prefix":"10.1007","author":[{"given":"Muhammad Zohaib","family":"Iqbal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Arcuri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"OMG: Modeling and Analysis of Real-time and Embedded systems (MARTE), Version 1.0 (2009), http:\/\/www.omg.org\/spec\/MARTE\/1.0\/"},{"key":"20_CR2","unstructured":"Kishi, T., Noda, N.: Aspect-oriented Context Modeling for Embedded Systems. In: Workshop on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design, pp. 68\u201374 (2004)"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.scico.2008.05.006","volume":"73","author":"G. Karsai","year":"2008","unstructured":"Karsai, G., Neema, S., Sharp, D.: Model-driven architecture for embedded software: A synopsis and an example. Science of Computer Programming\u00a073, 26\u201338 (2008)","journal-title":"Science of Computer Programming"},{"key":"20_CR4","unstructured":"Choi, K.S., Jung, S.C., Kim, H.J., Bae, D.H., Lee, D.H.: UML-based Modeling and Simulation Method for Mission-Critical Real-Time Embedded System Development. In: IASTED International Conference Proceedings pp. 160\u2013165 (2006)"},{"key":"20_CR5","first-page":"20919","volume-title":"EUROMICRO 1998: Proceedings of the 24th Conference on EUROMICRO","author":"C. Kreiner","year":"1998","unstructured":"Kreiner, C., Steger, C., Weiss, R.: Improvement of Control Software for Automatic Logistic Systems Using Executable Environment Models. In: EUROMICRO 1998: Proceedings of the 24th Conference on EUROMICRO, pp. 20919\u201320923. IEEE Computer Society, Los Alamitos (1998)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Axelsson, J.: Unified Modeling of Real-Time Control Systems and Their Physical Environments Using UML. In: Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2001), p. 18 (2001)","DOI":"10.1109\/ECBS.2001.922399"},{"key":"20_CR7","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 Educational Publishers Inc., Reading (2000)"},{"key":"20_CR8","volume-title":"A Practical Guide to SysML: The Systems Modeling Language","author":"S. Friedenthal","year":"2008","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Elsevier, Amsterdam (2008)"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1016\/j.infsof.2006.03.005","volume":"48","author":"M. Auguston","year":"2006","unstructured":"Auguston, M., Michael, B., Shing, M.: Environment behavior models for automation of testing and assessment of system safety. Information and Software Technology\u00a048, 971\u2013980 (2006)","journal-title":"Information and Software Technology"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1145\/302405.302634","volume-title":"ICSE 1999: Proceedings of the 21st International Conference on Software Engineering","author":"L. Bousquet Du","year":"1999","unstructured":"Du Bousquet, L., Ouabdesselam, F., Richier, J.L., Zuanon, N.: Lutess: a specification-driven testing environment for synchronous software. In: ICSE 1999: Proceedings of the 21st International Conference on Software Engineering, pp. 267\u2013276. ACM, New York (1999)"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-31848-4_6","volume-title":"Formal Approaches to Software Testing","author":"K.G. Larsen","year":"2005","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B.: Online Testing of Real-time Systems Using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 79\u201394. Springer, Heidelberg (2005)"},{"key":"20_CR12","unstructured":"Heisel, M., Hatebur, D., Santen, T., Seifert, D.: Testing Against Requirements Using UML Environment Models. In: Fachgruppentreffen Requirements Engineering und Test, Analyse & Verifikation, pp. 28\u201331. GI (2008)"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-05031-2_1","volume-title":"Testing of Software and Communication Systems","author":"N. Adjir","year":"2009","unstructured":"Adjir, N., Saqui-Sannes, P., Rahmouni, K.M.: Testing Real-Time Systems Using TINA. In: N\u00fa\u00f1ez, M. (ed.) TESTCOM\/FATES 2009. LNCS, vol.\u00a05826, pp. 1\u201315. Springer, Heidelberg (2009)"},{"key":"20_CR14","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process","author":"C. Larman","year":"2001","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process. Prentice Hall PTR, Upper Saddle River (2001)"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Iqbal, M.Z., Briand, L.: Black-box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing. Technical Report, Simula Research Laboratory (2010)","DOI":"10.1007\/978-3-642-16573-3_8"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P. McMinn","year":"2004","unstructured":"McMinn, P.: Search-based Software Test Data Generation: A Survey. Software Testing Verification and Reliability\u00a014, 105\u2013156 (2004)","journal-title":"Software Testing Verification and Reliability"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16145-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T23:40:00Z","timestamp":1740526800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16145-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642161445","9783642161452"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16145-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}