{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T23:19:42Z","timestamp":1649114382004},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,12,10]],"date-time":"2015-12-10T00:00:00Z","timestamp":1449705600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Sign Process Syst"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s11265-015-1089-y","type":"journal-article","created":{"date-parts":[[2015,12,9]],"date-time":"2015-12-09T21:52:16Z","timestamp":1449697936000},"page":"113-128","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Achieving SCA Conformance Testing with Model-Based Testing"],"prefix":"10.1007","volume":"83","author":[{"given":"Julien","family":"Botella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Philippe","family":"Delahaye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eddie","family":"Jaffuel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Legeard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabien","family":"Peureux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,10]]},"reference":[{"key":"1089_CR1","first-page":"66","volume-title":"Proceedings of the 25th International Symposium on Software Reliability Engineering (ISSRE\u201914)","author":"G Bernabeu","year":"2014","unstructured":"Bernabeu, G., Jaffuel, E., Legeard, B., & Peureux, F. (2014). MBT for GlobalPlatform compliance testing: Experience report and lessons learned. In Proceedings of the 25 t h International Symposium on Software Reliability Engineering (ISSRE\u201914) (pp. 66\u201370). Naples: IEEE Computer Society Press."},{"key":"1089_CR2","unstructured":"Bernabeu, G., & Lavabre, N. (2013). Model-based testing for a world-wide compliance program. In 1 s t User Conference on Advanced Automated Testing (UCAAT\u201913). Paris France. http:\/\/ucaat.etsi.org\/2013\/presentations\/Keynote_MBT%20for%20a%20Compliance%20Program-GlobalPlatform-GilBernabeu.pdf . (last accessed January 2015)."},{"key":"1089_CR3","first-page":"223","volume-title":"Proceedings of the International Workshop on Model-Based Testing (MBT\u201906), LNI, vol. 94","author":"E Bernard","year":"2006","unstructured":"Bernard, E., Bouquet, F., Charbonnier, A., Legeard, B., Peureux, F., Utting, M., & Torreborre, E. (2006). Model-based testing from UML models. In Proceedings of the International Workshop on Model-Based Testing (MBT\u201906), LNI, vol. 94 (pp. 223\u2013230). Dresden: GI."},{"issue":"10","key":"1089_CR4","doi-asserted-by":"crossref","first-page":"915","DOI":"10.1002\/spe.597","volume":"34","author":"E Bernard","year":"2004","unstructured":"Bernard, E., Legeard, B., Luck, X., & Peureux, F. (2004). Generation of test sequences from formal specifications: GSM 11-11 standard case study. International Journal of Software Practice and Experience, 34(10), 915\u2013948.","journal-title":"International Journal of Software Practice and Experience"},{"key":"1089_CR5","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/1370042.1370052","volume-title":"Proceedings of the 3rd Int. Workshop on Automation of Software Test (AST\u201908)","author":"F Bouquet","year":"2008","unstructured":"Bouquet, F., Grandpierre, C., Legeard, B., & Peureux, F. (2008). A test generation solution to automate software testing. In Proceedings of the 3 r d Int. Workshop on Automation of Software Test (AST\u201908) (pp. 45\u201348). Leipzig: ACM Press."},{"key":"1089_CR6","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/1291535.1291545","volume-title":"Proceedings of the 3rd International Workshop on Advances in Model-Based Testing (AMOST\u201907)","author":"F Bouquet","year":"2007","unstructured":"Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., & Utting, M. (2007). A subset of precise UML for model-based testing. In Proceedings of the 3 r d International Workshop on Advances in Model-Based Testing (AMOST\u201907) (pp. 95\u2013104). London: ACM Press."},{"key":"1089_CR7","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/S0065-2458(10)80002-6","volume":"80","author":"A Dias-Neto","year":"2010","unstructured":"Dias-Neto, A., & Travassos, G. (2010). A Picture from the Model-Based Testing Area: Concepts, Techniques, and Challenges. Advances in Computers, 80, 45\u2013120. ISSN 0065-2458.","journal-title":"Advances in Computers"},{"key":"1089_CR8","unstructured":"ETSI: Conformance Testing. http:\/\/www.etsi.org\/technologies-clusters\/technologies\/testing . (last accessed January 2015)."},{"key":"1089_CR9","unstructured":"Ezick, J., & Springer, J. (2011). The benefits of static compliance testing for sca next. In Wireless innovation forum conference on communication technologies and software defined radio (SDR-WInnComm\u201911)."},{"key":"1089_CR10","unstructured":"GlobalPlatform (2001). GlobalPlatform Card Specification Version 2.2.1. http:\/\/www.globalplatform.org\/specificationscard.asp . (last accessed January 2015)."},{"key":"1089_CR11","unstructured":"JTNC Standards, Joint Tactical Networking Center, Final\/15 V.2.2.2: JTRS\/JPEO Software Communications Architecture Specification (2006). http:\/\/jtnc.mil\/sca\/Pages\/default.aspx . (last access January 2015)."},{"key":"1089_CR12","unstructured":"JTRS Test and Evaluation Laboratory (2010). SCA 2.2.2 Application Requirements List version 2.2 Release Notes. https:\/\/jtel.spawar.navy.mil\/docs\/sca_2_2_2_application_requirements_list_v2.2.pdf . (last access January 2015)."},{"key":"1089_CR13","unstructured":"Li, S., Bourdell\u00e8s, M., Acebedo, A., Botella, J., & Peureux, F. (2012). Experiment on using model-based testing for automatic tests generation on a software radio protocol. In Proceedings of the 9 t h Int. Workshop on Systems Testing and Validation (STV\u201912), pp. 79\u201384. Paris, France."},{"key":"1089_CR14","unstructured":"Nguyen, H., Hackett, M., & Whitlock, B. (2006). Global Software Test Automation: A Discussion of Software Testing for Executives. Happy About books. ISBN 1-6000-5011-5."},{"issue":"6","key":"1089_CR15","doi-asserted-by":"crossref","first-page":"1077","DOI":"10.1007\/s00165-013-0289-0","volume":"26","author":"E Riccobene","year":"2014","unstructured":"Riccobene, E., & Scandurra, P. (2014). A formal framework for service modeling and prototyping. Formal Aspects of Computing, 26(6), 1077\u20131113.","journal-title":"Formal Aspects of Computing"},{"key":"1089_CR16","unstructured":"Rumbaugh, J., Jacobson, I., & Booch, G. (2005). The Unified Modeling Language Reference Manual, 2 nd : Addison-Wesley. ISBN 0-3212-4562-8."},{"key":"1089_CR17","unstructured":"Seignole, V., Hachet, O., Counil, B., & Balp, H. (2010). Method and system for encapsulating a plurality of software components compatible with the CCM standard into a software standard compatible with the SCA standard. WO Patent App. PCT\/EP2009\/065,831. Google Patents."},{"key":"1089_CR18","unstructured":"Utting, M., & Legeard, B. (2006). Practical Model-Based Testing - A tools approach. Morgan Kaufmann, San Francisco, CA, USA. ISBN 0-1237-2501-1."},{"key":"1089_CR19","unstructured":"Warmer, J., & Kleppe, A. (1999). The Object Constraint Language: Precise Modeling with UML, 2nd: Addison-Wesley. ISBN 0-2013-7940-6."},{"key":"1089_CR20","doi-asserted-by":"crossref","first-page":"1485","DOI":"10.1016\/j.infsof.2009.06.012","volume":"51","author":"H Zhu","year":"2009","unstructured":"Zhu, H., & Belli, F. (2009). Advancing test automation technology to meet the challenges of model-based software testing. Information and Software Technology, 51, 1485\u20131486. ISSN 0950- 5849.","journal-title":"Information and Software Technology"}],"container-title":["Journal of Signal Processing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-015-1089-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11265-015-1089-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-015-1089-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T08:22:29Z","timestamp":1559377349000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11265-015-1089-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,10]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["1089"],"URL":"https:\/\/doi.org\/10.1007\/s11265-015-1089-y","relation":{},"ISSN":["1939-8018","1939-8115"],"issn-type":[{"value":"1939-8018","type":"print"},{"value":"1939-8115","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,10]]}}}