{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:26:22Z","timestamp":1738387582913,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540857617"},{"type":"electronic","value":"9783540857624"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85762-4_18","type":"book-chapter","created":{"date-parts":[[2008,8,22]],"date-time":"2008-08-22T14:20:29Z","timestamp":1219414829000},"page":"258-273","source":"Crossref","is-referenced-by-count":14,"title":["Guided Test Generation from CSP Models"],"prefix":"10.1007","author":[{"given":"Sidney","family":"Nogueira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Mota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Andrade, W., et al.: Interruption Test Case Generation for Mobile Phone Applications (in Portuguese). In: XXV Brazilian Symposium in Computer Networks and Distributed Systems (2007)"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.entcs.2007.08.032","volume":"195","author":"G. Cabral","year":"2008","unstructured":"Cabral, G., Sampaio, A.: Formal Specification Generation from Requirement Documents. Electron. Notes Theor. Comput. Sci.\u00a0195, 171\u2013188 (2008); Best Paper Award","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-76650-6_10","volume-title":"Formal Methods and Software Engineering","author":"A. Cavalcanti","year":"2007","unstructured":"Cavalcanti, A., Gaudel, M.-C.: Testing for Refinement in CSP. In: Butler, M., Hinchey, M.G., Larrondo-Petrie, M.M. (eds.) ICFEM 2007. LNCS, vol.\u00a04789, pp. 151\u2013170. Springer, Heidelberg (2007)"},{"issue":"9","key":"18_CR4","first-page":"443","volume":"24","author":"R. Hierons","year":"2001","unstructured":"Hierons, R.: Checking states and transitions of a set of communicating finite state. Microprocessors and Microsystems, Special Issue on Testing and testing techniques for real-time embedded software systems\u00a024(9), 443\u2013452 (2001)","journal-title":"Microprocessors and Microsystems, Special Issue on Testing and testing techniques for real-time embedded software systems"},{"issue":"4","key":"18_CR5","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C. Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Int. J. Softw. Tools Technol. Transf.\u00a07(4), 297\u2013315 (2005)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"18_CR6","unstructured":"Bogdanov, K., et al.: Working together: Formal Methods and Testing. ACM Computing Surveys (December 2003)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Ledru, Y., et al.: Test Purposes: Adapting the Notion of Specification to Testing. In: ASE 2000, p. 127 (2001)","DOI":"10.1109\/ASE.2001.989798"},{"key":"18_CR8","unstructured":"Leit\u00e3o, D., Torres, D., Barros, F.A.: Nlforspec: Translating natural language descriptions into formal test case specifications. In: SEKE, Knowledge Systems Institute Graduate School, pp. 129\u2013134 (2007)"},{"key":"18_CR9","unstructured":"Formal Systems. Failures-Divergence Refinement - FDR2 User Manual. Formal Systems (Europe) Ltd (June 2005)"},{"key":"18_CR10","unstructured":"ISO\u00a08807:1989. LOTOS: A formal description technique based on the temporal ordering of observational behaviour. ISO (1989)"},{"key":"18_CR11","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"18_CR12","unstructured":"Nogueira, S., Sampaio, A., and Mota, A. Guided Test Generation from CSP Models. Tech. rep., CIn-UFPE (July 2007), http:\/\/www.cin.ufpe.br\/~scn\/reports\/TR-Mar08.pdf"},{"key":"18_CR13","first-page":"53","volume":"19","author":"J. Peleska","year":"1997","unstructured":"Peleska, J., Siegel, M.: Test automation of safety-critical reactive systems. South African Computer Journal\u00a019, 53\u201377 (1997)","journal-title":"South African Computer Journal"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Ramos, R., Sampaio, A., Mota, A.: Framework composition conformance via refinement checking. In: SAC 2008: Proceedings of the, ACM symposium on Applied computing, vol.\u00a023, pp. 119\u2013125 (2008)","DOI":"10.1145\/1363686.1363717"},{"key":"18_CR15","unstructured":"Roscoe, A.W., Hoare, C.A.R., Bird, R.: The Theory and Practice of Concurrency. Prentice Hall PTR (1997)"},{"key":"18_CR16","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1145\/1062455.1062565","volume-title":"ICSE 2005: Proceedings of the 27th international conference on Software engineering","author":"A. Sampaio","year":"2005","unstructured":"Sampaio, A., et al.: Software test program: a software residency experience. In: ICSE 2005, pp. 611\u2013612. ACM Press, New York (2005)"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"738","DOI":"10.1007\/3-540-48119-2_41","volume-title":"FM\u201999 - Formal Methods","author":"S. Schneider","year":"1999","unstructured":"Schneider, S.: Abstraction and testing. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 738\u2013757. Springer, Heidelberg (1999)"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Torres, D., Leit\u00e3o, D., Barros, F.A.: Motorola SpecNL: A Hybrid System to Generate NL Descriptions from Test Case Specifications. HIS 0, 45 (2006)","DOI":"10.1109\/HIS.2006.264928"},{"issue":"3","key":"18_CR19","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software\u2014Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software\u2014Concepts and Tools"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","volume-title":"CONCUR\u201999. Concurrency Theory","author":"J. Tretmans","year":"1999","unstructured":"Tretmans, J.: Testing concurrent systems: A formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 46\u201365. Springer, Heidelberg (1999)"},{"key":"18_CR21","unstructured":"Tretmans, J., Belinfante, A.: Automatic testing with formal methods. In: EuroSTAR 1999: 7th European Int. Conference on Software Testing, Analysis & Review, November 8\u201312, pp. 8\u201312 (1999)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85762-4_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T16:48:42Z","timestamp":1738342122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85762-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540857617","9783540857624"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85762-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}