{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T08:26:01Z","timestamp":1746001561343},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148071"},{"type":"electronic","value":"9783642148088"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14808-8_13","type":"book-chapter","created":{"date-parts":[[2010,8,21]],"date-time":"2010-08-21T05:52:01Z","timestamp":1282369921000},"page":"184-198","source":"Crossref","is-referenced-by-count":4,"title":["Testing of Abstract Components"],"prefix":"10.1007","author":[{"given":"Bilal","family":"Kanso","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Aiguier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Boulanger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Assia","family":"Touil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"13_CR1","first-page":"891","volume":"9","author":"L.S. Barbosa","year":"2003","unstructured":"Barbosa, L.S.: Towards a calculus of state-based software components. Journal of Universal Computer Science\u00a09(8), 891\u2013909 (2003)","journal-title":"Journal of Universal Computer Science"},{"key":"13_CR2","volume-title":"Category theory for computing science","year":"1995","unstructured":"Barr, M., Wells, C. (eds.): Category theory for computing science, 2nd edn. Prentice Hall International (UK) Ltd., Hertfordshire (1995)","edition":"2"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Bernot, G.: Testing against formal specifications: A theoretical view. In: TAPSOFT 1991: Proc. of the Intl. Joint Conference on Theory and Practice of Software Development, London, UK, vol.\u00a02, pp. 99\u2013119. Springer, Heidelberg (1991)","DOI":"10.1007\/3540539816_63"},{"key":"13_CR4","unstructured":"Brinksma, E.: A theory for the derivation of tests. In: Proc. 8th Int. Conf. Protocol Specification, Testing, and Verification (PSTV VIII), pp. 63\u201374 (1988)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-31848-4_5","volume-title":"Formal Approaches to Software Testing","author":"L. Briones","year":"2005","unstructured":"Briones, L., Brinksma, E.: A test generation framework for quiescent real-time systems. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 64\u201378. Springer, Heidelberg (2005)"},{"issue":"4","key":"13_CR6","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"T. J\u00e9ron","year":"2005","unstructured":"J\u00e9ron, T., Jard, C.: TGV: theory, principles and algorithms. International Journal on Software Tools for Technology Transfer\u00a07(4), 297\u2013315 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"13_CR7","volume-title":"Categories for Software Engineering","author":"J.L. Fiadeiro","year":"2004","unstructured":"Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2004)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/11940197_3","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"L. Frantzen","year":"2006","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.A.C.: A Symbolic Framework for Model-Based Testing. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol.\u00a04262, pp. 40\u201354. Springer, Heidelberg (2006)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11754008_1","volume-title":"Testing of Communicating Systems","author":"C. Gaston","year":"2006","unstructured":"Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic execution techniques for test purpose definition. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 1\u201318. Springer, Heidelberg (2006)"},{"key":"13_CR10","unstructured":"Jifeng, H., Hoare, C.A.R.: Unifying theories of programming. In: Orlowska, E., Szalas, A. (eds.) RelMiCS, pp. 97\u201399 (1998)"},{"issue":"1","key":"13_CR11","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.entcs.2006.06.003","volume":"164","author":"H.H. Hansen","year":"2006","unstructured":"Hansen, H.H., Costa, D., Rutten, J.J.M.M.: Synthesis of mealy machines using derivatives. Electr. Notes Theor. Comput. Sci. (ENTCS)\u00a0164(1), 27\u201345 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci. (ENTCS)"},{"issue":"11\/12","key":"13_CR12","doi-asserted-by":"publisher","first-page":"688","DOI":"10.1177\/0037549709105240","volume":"85","author":"C. Hardebolle","year":"2009","unstructured":"Hardebolle, C., Boulanger, F.: Exploring multi-paradigm modeling techniques. SIMULATION: Transactions of the Society for Modeling and Simulation International\u00a085(11\/12), 688\u2013708 (2009)","journal-title":"SIMULATION: Transactions of the Society for Modeling and Simulation International"},{"key":"13_CR13","series-title":"IFIP Conference Proceedings","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-0-387-35271-8_2","volume-title":"Proceedings of the IFIP TC6 WG6.1 Joint Intl. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)","author":"A.W. Heerink","year":"1997","unstructured":"Heerink, A.W., Tretmans, G.J.: Refusal testing for classes of transition systems with inputs and outputs. In: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A. (eds.) Proceedings of the IFIP TC6 WG6.1 Joint Intl. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII). IFIP Conference Proceedings, vol.\u00a0107, pp. 23\u201338. Chapman & Hall, Boca Raton (1997)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Kanso, B., Aiguier, M., Boulanger, F., Touil, A.: Testing of abstract components. Internal Report 2010-05-28-DI-FBO, Sup\u00e9lec (2010), http:\/\/wwwdi.supelec.fr\/","DOI":"10.1007\/978-3-642-14808-8_13"},{"key":"13_CR15","first-page":"87","volume-title":"Protocol Specification, Testing and Verification (PSTV)","author":"R. Langerak","year":"1989","unstructured":"Langerak, R.: A testing theory for LOTOS using deadlock detection. In: Brinksma, E., Scollo, G., Vissers, C.A. (eds.) Protocol Specification, Testing and Verification (PSTV), pp. 87\u201398. North-Holland, Amsterdam (1989)"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines\u2014a survey. Proceedings of the IEEE\u00a084(8) (August 1996)","DOI":"10.1109\/5.533956"},{"key":"13_CR17","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Graduate Texts in Mathematics, vol.\u00a05. Springer, Heidelberg (1971)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Mealy, G.H.: A method for synthesizing sequentiel circuits. Bell Systems Techn. Jour. (1955)","DOI":"10.1002\/j.1538-7305.1955.tb03788.x"},{"issue":"2","key":"13_CR19","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1016\/j.tcs.2005.09.072","volume":"351","author":"S. Meng","year":"2006","unstructured":"Meng, S., Barbosa, L.S.: Components as coalgebras: the refinement dimension. Theor. Comput. Sci. (TCS)\u00a0351(2), 276\u2013294 (2006)","journal-title":"Theor. Comput. Sci. (TCS)"},{"key":"13_CR20","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Information and Computation\u00a093, 55\u201392 (1991)","journal-title":"Information and Computation"},{"issue":"1-2","key":"13_CR22","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.C.B.: Testing equivalences for processes. Theoretical Computer Science (TCS)\u00a034(1-2), 83\u2013133 (1984)","journal-title":"Theoretical Computer Science (TCS)"},{"issue":"3","key":"13_CR23","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0304-3975(87)90117-4","volume":"50","author":"I. Phillips","year":"1987","unstructured":"Phillips, I.: Refusal testing. Theor. Comput. Sci.\u00a050(3), 241\u2013284 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0577-7","volume-title":"Mathematical control theory: deterministic finite dimensional systems","author":"E.D. Sontag","year":"1998","unstructured":"Sontag, E.D.: Mathematical control theory: deterministic finite dimensional systems, 2nd edn. Springer, New York (1998)","edition":"2"},{"key":"13_CR25","first-page":"257","volume-title":"Proceedings of the IFIP TC6\/WG6.1 Sixth International Workshop on Protocol Test systems VI","author":"J. Tretmans","year":"1994","unstructured":"Tretmans, J.: A formal approach to conformance testing. In: Proceedings of the IFIP TC6\/WG6.1 Sixth International Workshop on Protocol Test systems VI, pp. 257\u2013276. North-Holland Publishing Co., Amsterdam (1994)"},{"issue":"3","key":"13_CR26","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software - Concepts and Tools"},{"key":"13_CR27","series-title":"Lecture Notes in Computer Science","first-page":"181","volume-title":"UTP 2008","author":"M. Weilghofer","year":"2010","unstructured":"Weilghofer, M., Aichernig, B.: Unifying input output conformance. In: Butterfield, A. (ed.) UTP 2008. LNCS, vol.\u00a05713, pp. 181\u2013201. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14808-8_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:57:44Z","timestamp":1606168664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14808-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148071","9783642148088"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14808-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}