{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:35:33Z","timestamp":1725539733527},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642332951"},{"type":"electronic","value":"9783642332968"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33296-8_7","type":"book-chapter","created":{"date-parts":[[2012,9,17]],"date-time":"2012-09-17T02:24:55Z","timestamp":1347848695000},"page":"67-82","source":"Crossref","is-referenced-by-count":0,"title":["A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications"],"prefix":"10.1007","author":[{"given":"Gustavo","family":"Carvalho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diogo","family":"Falc\u00e3o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Mota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Bergerand, J.L.: Lustre, un Langage D\u00e9claratif pour le Temps R\u00e9el. Ph.D. thesis, INPG (1986)"},{"key":"7_CR2","first-page":"326","volume-title":"Proceedings of the 26th ICSE","author":"D. Beyer","year":"2004","unstructured":"Beyer, D., Chlipala, A.J., Majumdar, R.: Generating tests from counterexamples. In: Proceedings of the 26th ICSE, pp. 326\u2013335. IEEE Computer Society, Washington, DC (2004)"},{"key":"7_CR3","unstructured":"Blackburn, M., Busser, R., Fontaine, J.: Automatic Generation of Test Vectors for SCR-style Specifications. In: Proceedings of the 12th Annual Conference on Computer Assurance (1997)"},{"key":"7_CR4","unstructured":"Camus, J.L., Dion, B.: Efficient Development of Airborne Software with Scade Suite. Tech. rep., Esterel Technologies (2003)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Efkemann, C., Peleska, J.: Model-Based Testing for the Second Generation of Integrated Modular Avionics. In: Proceedings of ICSTW, pp. 55\u201362 (2011)","DOI":"10.1109\/ICSTW.2011.72"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-24756-2_7","volume-title":"Integrated Formal Methods","author":"A. Farias","year":"2004","unstructured":"Farias, A., Mota, A.M., Sampaio, A.: Efficient CSP\n                  Z\n                 Data Abstraction. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 108\u2013127. Springer, Heidelberg (2004)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C., Bharadwaj, R.: Applying the SCR Requirements Method to the Light Control Case Study. Journal of Universal Computer Science\u00a06 (2000)","DOI":"10.21236\/ADA463943"},{"key":"7_CR8","unstructured":"Heninger, K., Parnas, D., Shore, J., Kallander, J.: Software Requirements for the A-7E Aircraft - TR 3876. Tech. rep., U.S. Naval Research Laboratory (1978)"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1023072104553","volume":"16","author":"E.I. Leonard","year":"2003","unstructured":"Leonard, E.I., Heitmeyer, C.L.: Program Synthesis from Formal Requirements Specifications Using APTS. Higher Order Symbol. Comput.\u00a016, 63\u201392 (2003)","journal-title":"Higher Order Symbol. Comput."},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-642-15651-9_27","volume-title":"Computer Safety, Reliability, and Security","author":"A. Mota","year":"2010","unstructured":"Mota, A., Jesus, J., Gomes, A., Ferri, F., Watanabe, E.: Evolving a Safe System Design Iteratively. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol.\u00a06351, pp. 361\u2013374. Springer, Heidelberg (2010)"},{"key":"7_CR11","unstructured":"National University of Singapore: PAT: User Manual, version 3.3.0. (2011)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-85762-4_18","volume-title":"Theoretical Aspects of Computing - ICTAC 2008","author":"S. Nogueira","year":"2008","unstructured":"Nogueira, S., Sampaio, A., Mota, A.M.: Guided Test Generation from CSP Models. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol.\u00a05160, pp. 258\u2013273. Springer, Heidelberg (2008)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/1808266.1808283","volume-title":"Proceedings of the 5th Workshop on Automation of Software Test, AST 2010","author":"M. Papadakis","year":"2010","unstructured":"Papadakis, M., Malevris, N., Kallia, M.: Towards automating the generation of mutation tests. In: Proceedings of the 5th Workshop on Automation of Software Test, AST 2010, pp. 111\u2013118. ACM, New York (2010)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-24580-0_11","volume-title":"Testing Software and Systems","author":"J. Peleska","year":"2011","unstructured":"Peleska, J., Honisch, A., Lapschies, F., L\u00f6ding, H., Schmid, H., Smuda, P., Vorobev, E., Zahlten, C.: A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain. In: Wolff, B., Za\u00efdi, F. (eds.) ICTSS 2011. LNCS, vol.\u00a07019, pp. 146\u2013161. Springer, Heidelberg (2011)"},{"key":"7_CR15","unstructured":"West, A.: NASA Study on Flight Software Complexity. Tech. rep., NASA (2009)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33296-8_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:03:37Z","timestamp":1620129817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33296-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642332951","9783642332968"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33296-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}