{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:56:45Z","timestamp":1743051405564,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319116167"},{"type":"electronic","value":"9783319116174"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-11617-4_19","type":"book-chapter","created":{"date-parts":[[2014,10,24]],"date-time":"2014-10-24T09:53:49Z","timestamp":1414144429000},"page":"269-282","source":"Crossref","is-referenced-by-count":3,"title":["Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios"],"prefix":"10.1007","author":[{"given":"Mathilde","family":"Arnaud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boutheina","family":"Bannour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnaud","family":"Cuccuru","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Gaston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastien","family":"Gerard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnault","family":"Lapitre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-642-24559-6_5","volume-title":"Formal Methods and Software Engineering","author":"I. Abdelhalim","year":"2011","unstructured":"Abdelhalim, I., Schneider, S., Treharne, H.: Towards a practical approach to check UML\/fUML models consistency using CSP. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 33\u201348. Springer, Heidelberg (2011)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Andrews, A.A., France, R.B., Ghosh, S., Craig, G.: Test adequacy criteria for uml design models. Softw. Test., Verif. Reliab. (2003)","DOI":"10.1002\/stvr.270"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-642-34691-0_10","volume-title":"Testing Software and Systems","author":"B. Bannour","year":"2012","unstructured":"Bannour, B., Escobedo, J.P., Gaston, C., Le Gall, P.: Off-line test case generation for timed symbolic model-based conformance testing. In: Nielsen, B., Weise, C. (eds.) ICTSS 2012. LNCS, vol.\u00a07641, pp. 119\u2013135. Springer, Heidelberg (2012)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Bannour, B., Gaston, C., Lapitre, A., Escobedo, J.P.: Incremental symbolic conformance testing from UML MARTE sequence diagrams: railway use case. In: HASE. IEEE (2012)","DOI":"10.1109\/HASE.2012.18"},{"key":"19_CR5","series-title":"IFIP AICT","first-page":"41","volume-title":"FORTE","author":"A. Cavalli","year":"1999","unstructured":"Cavalli, A., Lee, D., Rinderknecht, C., Za\u00efdi, F.: Hit-or-jump: An algorithm for embedded testing with applications to IN services. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) FORTE. IFIP AICT, vol.\u00a028, pp. 41\u201356. Springer, Heidelberg (1999)"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Craciun, F., Motogna, S., Lazar, I.: Towards better testing of fUML models. In: ICST (2013)","DOI":"10.1109\/ICST.2013.67"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Dinh-Trong, T.T., Ghosh, S., France, R.B.: A systematic approach to generate inputs to test UML design models. In: ISSRE. IEEE (2006)","DOI":"10.1109\/ISSRE.2006.10"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-3-540-68524-1_14","volume-title":"Testing of Software and Communicating Systems","author":"A. Faivre","year":"2008","unstructured":"Faivre, A., Gaston, C., Le Gall, P., Touil, A.: Test purpose concretization through symbolic action refinement. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom\/FATES 2008. LNCS, vol.\u00a05047, pp. 184\u2013199. Springer, Heidelberg (2008)"},{"key":"19_CR9","unstructured":"Object Management Group. A UML profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, VSL (2009), \n                  http:\/\/www.omg.org\/spec\/MARTE\/"},{"key":"19_CR10","unstructured":"Object Management Group. Pscs: Precise semantics of uml composite structures, Second revised submission (2013) (to appear)"},{"key":"19_CR11","unstructured":"Object Management Group. Semantics of a foundational subset for executable uml models, fUML (2013), \n                  http:\/\/www.omg.org\/spec\/FUML\/"},{"key":"19_CR12","unstructured":"ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). Geneva (1997)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"King, J.C.: A new approach to program testing. In: Proc. of Int. Conf. on Reliable Software (1975)","DOI":"10.1145\/800027.808444"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Lund, M.S., St\u00f8len, K.: Deriving tests from uml 2.0 sequence diagrams with neg and assert. In: AST (2006)","DOI":"10.1145\/1138929.1138934"},{"key":"19_CR15","unstructured":"Mijatov, S., Langer, P., Mayerhofer, T., Kappel, G.: A framework for testing UML activities based on fUML. In: MoDeVVaMoDELS (2013)"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Pickin, S., Jard, C., J\u00e9ron, T., J\u00e9z\u00e9quel, J.-M., Traon, Y.L.: Test synthesis from UML models of distributed software. IEEE Trans. Software Eng. (2007)","DOI":"10.1109\/TSE.2007.39"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/978-3-642-24606-7_37","volume-title":"Conceptual Modeling \u2013 ER 2011","author":"E. Planas","year":"2011","unstructured":"Planas, E., Cabot, J., G\u00f3mez, C.: Lightweight verification of executable models. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol.\u00a06998, pp. 467\u2013475. Springer, Heidelberg (2011)"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Roychoudhury, A., Goel, A., Sengupta, B.: Symbolic message sequence charts. ACM Trans. Softw. Eng. Methodol. (2012)","DOI":"10.1145\/2089116.2089122"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/978-3-540-85778-5_18","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J. Schmaltz","year":"2008","unstructured":"Schmaltz, J., Tretmans, J.: On Conformance Testing for Timed Systems. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol.\u00a05215, pp. 250\u2013264. Springer, Heidelberg (2008)"},{"key":"19_CR20","unstructured":"Tatibouet, J., Cuccuru, A., Gerard, S., Terrier, F.: Principles for the realization of an open simulation framework based on fuml (WIP). In: DEVS. ACM (2013)"}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11617-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T21:42:44Z","timestamp":1676670164000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11617-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319116167","9783319116174"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11617-4_19","relation":{},"subject":[],"published":{"date-parts":[[2015]]}}}