{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:26:35Z","timestamp":1725737195191},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390128"},{"type":"electronic","value":"9783642390135"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-39013-5_10","type":"book-chapter","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T08:30:46Z","timestamp":1372149046000},"page":"134-151","source":"Crossref","is-referenced-by-count":1,"title":["Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing"],"prefix":"10.1007","author":[{"given":"Fabrice","family":"Ambert","sequence":"first","affiliation":[]},{"given":"Fabrice","family":"Bouquet","sequence":"additional","affiliation":[]},{"given":"Jonathan","family":"Lasalle","sequence":"additional","affiliation":[]},{"given":"Bruno","family":"Legeard","sequence":"additional","affiliation":[]},{"given":"Fabien","family":"Peureux","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing - A tools approach. Elsevier Science (2006) ISBN 0 12 372501 1"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F.: A test generation solution to automate software testing. In: Proceedings of the 3rd Int. Workshop on Automation of Software Test (AST 2008), Leipzig, Germany, pp. 45\u201348. ACM (May 2008)","DOI":"10.1145\/1370042.1370052"},{"key":"10_CR3","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley (2004) ISBN 0321245628"},{"key":"10_CR4","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley (1996) ISBN 0 201 37940 6"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: A subset of precise UML for model-based testing. In: Proc. of the Int. Work. on Advances in Model Based Testing, London, UK, pp. 95\u2013104. ACM Press (July 2007)","DOI":"10.1145\/1291535.1291545"},{"key":"10_CR6","unstructured":"Offutt, A., Xiong, Y., Liu, S.: Criteria for generating specification-based tests. In: Proc. of the IEEE Int. Conf. on Engineering of Complex Computer Systems, Las Vegas, USA, pp. 119\u2013131. IEEE Computer Society Press (October 1999)"},{"issue":"4","key":"10_CR7","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"S. Rapps","year":"1985","unstructured":"Rapps, S., Weyuker, E.: Selecting Software Test Data Using Data Flow Information. Journal of IEEE Transaction on Software Engineering\u00a011(4), 367\u2013375 (1985)","journal-title":"Journal of IEEE Transaction on Software Engineering"},{"key":"10_CR8","unstructured":"Vilkomir, S., Bowen, J.: Formalization of software testing criteria using the Z notation. In: Proceedings of the 25th Int. Conf. on Computer Software and Applications (COMPSAC 2001), Chicago, USA. IEEE Computer Society Press (October 2001)"},{"key":"10_CR9","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann (2009) ISBN 9780123743794"},{"key":"10_CR10","unstructured":"Ehmanns, D., Hochstadter, A.: Driver-model of lane change maneuvers. In: 7th World Congress on Intelligent Transportation Systems (November 2000)"},{"key":"10_CR11","unstructured":"Glaser, S., Mammar, S., Sainte-Marie, J.: Lateral driving assistance using embedded driver-vehicle-road model. In: Conference on Engineering Systems Design and Analysis, Istanbul, Turkey, July 8-11 (2002)"},{"key":"10_CR12","unstructured":"Petin, J.F., Evrot, D., Morel, G., Lamy, P.: Combining SysML and formal models for safety requirements verification. Systems Engineering, 1\u201310 (2010)"},{"key":"10_CR13","unstructured":"Bonf\u00e9, M., Fantuzzi, C.: Object-oriented modeling of logic control systems for industrial applications. Journal on Automation Technology in Practice\u00a02 (2005)"},{"key":"10_CR14","unstructured":"Iqbal, M., Arcuri, A., Briand, L.: Automated system testing of real-time embedded systems based on environment models. Technical Report 2011-19, Simula (2011)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Thacker, R., Myers, C., Jones, K., Little, S.: A new verification method for embedded systems. In: Proceedings of the 2009 IEEE Int. Conference on Computer design, ICCD 2009, Piscataway, NJ, USA, pp. 193\u2013200. IEEE Press (2009)","DOI":"10.1109\/ICCD.2009.5413154"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-642-16145-2_20","volume-title":"Model Driven Engineering Languages and Systems","author":"M.Z. Iqbal","year":"2010","unstructured":"Iqbal, M.Z., Arcuri, A., Briand, L.: Environment modeling with UML\/MARTE to support black-box system testing for real-time embedded systems: Methodology and industrial case studies. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 286\u2013300. Springer, Heidelberg (2010)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Mueller, W., Bol, A., Krupp, A., Lundkvist, O.: Generation of executable testbenches from natural language requirement specifications for embedded real-time systems. In: Hinchey, M., Kleinjohann, B., Kleinjohann, L., Lindsay, P.A., Rammig, F.J., Timmis, J., Wolf, M. (eds.) DIPES 2010. IFIP AICT, vol.\u00a0329, pp. 78\u201389. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-15234-4_9"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Evrot, D., P\u00e9tin, J.F., Morel, G., Lamy, P.: Using SysML for identification and refinement of machinery safety properties. In: Proceedings of IFAC Workshop on Dependable Control of Discretes Systems, Cachan, France (June 2007)","DOI":"10.3182\/20070613-3-FR-4909.00024"},{"key":"10_CR19","unstructured":"Faria, J., Mahomad, S., Silva, N.: Tactical results from the application of model checking and test generation from UML\/SysML model of on-board space applications. In: Proceedings of the Int. Conference on DAta Systems In Aerospace (DASIA 2009), Istanbul, Turkey, ESA Press (May 2009) ESA SP-669"},{"key":"10_CR20","unstructured":"OMG: UML Profile for MARTE. Revised draft 07-03-03L4.1, OMG (April 2007)"},{"issue":"10","key":"10_CR21","doi-asserted-by":"publisher","first-page":"1483","DOI":"10.1109\/32.6194","volume":"14","author":"P. Frankl","year":"1988","unstructured":"Frankl, P., Weyuker, E.: An Applicable Family of Data Flow Testing Criteria. The Journal of IEEE Transaction on Software Engineering\u00a014(10), 1483\u20131498 (1988)","journal-title":"The Journal of IEEE Transaction on Software Engineering"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S.: Simulated satisfaction of coverage criteria on UML state machines. In: Proceedings of the 3rd Int. Conference on Software Testing, Verification and Validation (ICST 2010), Paris, France, pp. 117\u2013126. IEEE Computer Society (April 2010)","DOI":"10.1109\/ICST.2010.28"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Lasalle, J., Bouquet, F., Legeard, B., Peureux, F.: SysML to UML model transformation for test generation purpose. In: 3rd Int. Workshop on UML and Formal Methods (UML&FM 2010), Shanghai, China, pp. 1\u20138. ACM SIGSOFT (November 2010)","DOI":"10.1145\/1921532.1921560"},{"key":"10_CR24","unstructured":"Lasalle, J.: Automatic Test Generation from SysML Models to Validate Embedded Systems. PhD thesis, DISC\/FEMTO-ST - University of Franche-Comt\u00e9 (2012)"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Lasalle, J., Peureux, F., Guillet, J.: Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems. In: Proc. of the 1st Int. Work. on End-to-End Test Script Engineering, Toronto, Canada, pp. 16\u201323. ACM (2011)","DOI":"10.1145\/2002931.2002934"},{"key":"10_CR26","unstructured":"Ambert, F., Bouquet, F., Lasalle, J., Legeard, B., Peureux, F.: Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports. In: Proceedings of the 4th Int. Conference on Advances in System Testing and Validation Lifecycle (VALID 2012), Lisbon, Portugal, pp. 139\u2013144 (November 2012)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39013-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:36:56Z","timestamp":1558301816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39013-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390128","9783642390135"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39013-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}