{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:57:50Z","timestamp":1725541070776},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642103728"},{"type":"electronic","value":"9783642103735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10373-5_2","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T11:45:27Z","timestamp":1258371927000},"page":"20-48","source":"Crossref","is-referenced-by-count":7,"title":["Compositional Verification of Input-Output Conformance via CSP Refinement Checking"],"prefix":"10.1007","author":[{"given":"Augusto","family":"Sampaio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sidney","family":"Nogueira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Mota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: assigning programs to meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-book: assigning programs to meanings. Cambridge University Press, New York (1996)"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/11693017_24","volume-title":"Fundamental Approaches to Software Engineering","author":"B.K. Aichernig","year":"2006","unstructured":"Aichernig, B.K., Delgado, C.C.: From faults via test purposes to test cases: On the fault-based testing of concurrent systems. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol.\u00a03922, pp. 324\u2013338. Springer, Heidelberg (2006)"},{"issue":"1","key":"2_CR3","first-page":"63","volume":"220","author":"B.K. Aichernig","year":"2008","unstructured":"Aichernig, B.K., Weiglhofer, M., Wotawa, F.: Improving fault-based conformance testing. ENTCS\u00a0220(1), 63\u201377 (2008)","journal-title":"ENTCS"},{"key":"2_CR4","volume-title":"Automated Technology for Verification and Analysis","author":"T. Ball","year":"2006","unstructured":"Ball, T.: Automated abstraction of software. In: Automated Technology for Verification and Analysis, Springer, Heidelberg (2006)"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-0-387-35567-2_12","volume-title":"Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems","author":"A. Belinfante","year":"1999","unstructured":"Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L.M.G., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems, pp. 179\u2013196. Kluwer, B.V (1999)"},{"key":"2_CR6","first-page":"171","volume":"195","author":"G. Cabral","year":"2008","unstructured":"Cabral, G., Sampaio, A.: Formal Specification Generation from Requirement Documents. ENTCS\u00a0195, 171\u2013188 (2008)","journal-title":"ENTCS"},{"key":"2_CR7","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":"2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions Programming Languages Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transactions Programming Languages Systems"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-59293-8_188","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"M.-C. Gaudel","year":"1995","unstructured":"Gaudel, M.-C.: Testing Can Be Formal, Too. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol.\u00a0915, pp. 82\u201396. Springer, Heidelberg (1995)"},{"issue":"1","key":"2_CR10","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/1190215.1190226","volume":"42","author":"P. Godefroid","year":"2007","unstructured":"Godefroid, P.: Compositional dynamic test generation. SIGPLAN Notices\u00a042(1), 47\u201354 (2007)","journal-title":"SIGPLAN Notices"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11754008_15","volume-title":"Testing of Communicating Systems","author":"R. Gotzhein","year":"2006","unstructured":"Gotzhein, R., Khendek, F.: Compositional testing of communication systems. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 227\u2013244. Springer, Heidelberg (2006)"},{"key":"2_CR12","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"2_CR13","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/978-3-540-31980-1_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Y. Isobe","year":"2005","unstructured":"Isobe, Y., Roggenbach, M.: A Generic Theorem Prover of CSP Refinement. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 108\u2013123. Springer, Heidelberg (2005)"},{"issue":"4","key":"2_CR15","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. International Journal on Software Tools for Technology Transfer\u00a07(4), 297\u2013315 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"2_CR16","volume-title":"Systematic software development using VDM","author":"C.B. Jones","year":"1990","unstructured":"Jones, C.B.: Systematic software development using VDM, 2nd edn. Prentice-Hall, Inc., Upper Saddle River (1990)","edition":"2"},{"unstructured":"Formal Systems. Failures-Divergence Refinement - FDR2 User Manual. Formal Systems (Europe) Ltd (June 2005)","key":"2_CR17"},{"key":"2_CR18","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.: 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":"2_CR19","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":"2_CR20","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR, Englewood Cliffs (1997)"},{"key":"2_CR21","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":"2_CR22","volume-title":"Concurrent and Real Time Systems: The CSP Approach (Worldwide Series in Computer Science)","author":"S. Schneider","year":"1999","unstructured":"Schneider, S.: Concurrent and Real Time Systems: The CSP Approach (Worldwide Series in Computer Science). John Wiley & Sons, Chichester (1999)"},{"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, 45 (2006)","key":"2_CR23","DOI":"10.1109\/HIS.2006.264928"},{"issue":"3","key":"2_CR24","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":"2_CR25","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 1999. 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":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/11498490_9","volume-title":"Model-Based Testing of Reactive Systems","author":"M. Bijl van der","year":"2005","unstructured":"van der Bijl, M., Peureux, F.: 7 I\/O-automata Based Testing. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol.\u00a03472, pp. 173\u2013200. Springer, Heidelberg (2005)"},{"key":"2_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/978-3-540-24617-6_7","volume-title":"Formal Approaches to Software Testing","author":"M. Bijl van der","year":"2004","unstructured":"van der Bijl, M., Rensink, A., Tretmans, J.: Compositional testing with ioco. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 86\u2013100. Springer, Heidelberg (2004)"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 2nd International Symposium on Unifying Theories of Programming","author":"M. Weiglhofer","year":"2008","unstructured":"Weiglhofer, M., Aichernig, B.: Unifying input output conformance. In: Proceedings of the 2nd International Symposium on Unifying Theories of Programming. LNCS, vol.\u00a05713. Springer, Heidelberg (2008)"},{"unstructured":"Weiglhofer, M., Wotawa, F.: On the fly input output conformance verification. In: Proceedings of the IASTED International Conference on Software Engineering, Innsbruck, Austria, pp. 286\u2013291. ACTA Press (2008)","key":"2_CR29"},{"key":"2_CR30","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice Hall International, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10373-5_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,17]],"date-time":"2024-03-17T17:12:14Z","timestamp":1710695534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10373-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642103728","9783642103735"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10373-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}