{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:17:34Z","timestamp":1740097054755,"version":"3.37.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091433"},{"type":"electronic","value":"9783319091440"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09144-0_47","type":"book-chapter","created":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T22:47:10Z","timestamp":1404341230000},"page":"683-695","source":"Crossref","is-referenced-by-count":0,"title":["Synchronous Programs Testing Language (SPTL)"],"prefix":"10.1007","author":[{"given":"Mouna Tka","family":"Mnad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Deleuze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis","family":"Parissis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"47_CR1","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 1270\u20131282 (1991)","DOI":"10.1109\/5.97297"},{"issue":"1","key":"47_CR2","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0953-5438(00)00023-0","volume":"13","author":"J. Carroll","year":"2000","unstructured":"Carroll, J.: Five reasons for scenario-based design. Interacting with computers\u00a013(1), 43\u201360 (2000), \n                    \n                      http:\/\/archive.itee.uq.edu.au\/~comp3503\/Resources\/_pdf\/CarrollScenariosIwC.pdf","journal-title":"Interacting with computers"},{"issue":"9","key":"47_CR3","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data flow programming language Lustre. Proceedings of the IEEE\u00a079(9), 1305\u20131320 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"47_CR4","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"Logics and Models of Concurrent Systems","author":"D. Harel","year":"1985","unstructured":"Harel, D., Pnueli, A.: On the development of reactive systems. In: Logics and Models of Concurrent Systems, pp. 477\u2013498. Springer-Verlag New York, Inc., New York (1985), \n                    \n                      http:\/\/dl.acm.org\/citation.cfm?id=101969.101990"},{"issue":"6","key":"47_CR5","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/s10009-006-0023-9","volume":"8","author":"E. Jahier","year":"2006","unstructured":"Jahier, E., Raymond, P., Baufreton, P.: Case studies with lurette v2. STTT\u00a08(6), 517\u2013530 (2006), \n                    \n                      http:\/\/dblp.uni-trier.de\/db\/journals\/sttt\/sttt8.html#JahierRB06","journal-title":"STTT"},{"key":"47_CR6","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.entcs.2004.12.010","volume":"111","author":"B. Marre","year":"2005","unstructured":"Marre, B., Blanc, B.: Test selection strategies for lustre descriptions in gatel. Electr. Notes Theor. Comput. Sci.\u00a0111, 93\u2013111 (2005), \n                    \n                      http:\/\/dblp.uni-trier.de\/db\/journals\/entcs\/entcs111.html#MarreB05","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"2","key":"47_CR7","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/52.199724","volume":"10","author":"J.D. Musa","year":"1993","unstructured":"Musa, J.D.: Operational profiles in software-reliability engineering. IEEE Softw.\u00a010(2), 14\u201332 (1993), \n                    \n                      http:\/\/dx.doi.org\/10.1109\/52.199724","journal-title":"IEEE Softw."},{"key":"47_CR8","unstructured":"Papailiopoulou, V., Seljimi, B., Parissis, I.: Revisiting the Steam-Boiler Case Study with LUTESS: Modeling for Automatic Test Generation. In: Proceedings of the 12th European Workshop on Dependable Computing, EWDC 2009, Hel\u00e8ne Waeselynck, Toulouse, France, p. 8 pages (2009), \n                    \n                      http:\/\/hal.archives-ouvertes.fr\/hal-00381548"},{"key":"47_CR9","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/ISSRE.2006.49","volume-title":"Proceedings of the 17th International Symposium on Software Reliability Engineering, ISSRE 2006","author":"B. Seljimi","year":"2006","unstructured":"Seljimi, B., Parissis, I.: Using clp to automatically generate test sequences for synchronous programs with numeric inputs and outputs. In: Proceedings of the 17th International Symposium on Software Reliability Engineering, ISSRE 2006, pp. 105\u2013116. IEEE Computer Society, Washington, DC (2006), \n                    \n                      http:\/\/dx.doi.org\/10.1109\/ISSRE.2006.49"},{"key":"47_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-642-25264-8_9","volume-title":"SDL 2011: Integrating System and Software Modeling","author":"A. Wu-Hen-Chang","year":"2011","unstructured":"Wu-Hen-Chang, A., Adamis, G., Er\u0151s, L., Kov\u00e1cs, G., Cs\u00f6ndes, T.: A new approach in model-based testing: Designing test models in TTCN-3. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol.\u00a07083, pp. 90\u2013105. Springer, Heidelberg (2011), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/978-3-642-25264-8_9"},{"key":"47_CR11","doi-asserted-by":"crossref","unstructured":"Zucatto, F., Biscassi, C., Monsignore, F., Fidelix, F., Coutinho, S., Rocha, M.: Zigbee for building control wireless sensor networks. In: Microwave and Optoelectronics Conference, IMOC 2007, pp. 511\u2013515. SBMO\/IEEE MTT-S International (November 2007)","DOI":"10.1109\/IMOC.2007.4404317"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09144-0_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T01:39:01Z","timestamp":1558921141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09144-0_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091433","9783319091440"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09144-0_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}