03475nam 22006735 450 991034940970332120200707001502.03-319-99927-310.1007/978-3-319-99927-2(CKB)4100000006374713(DE-He213)978-3-319-99927-2(MiAaPQ)EBC6220519(PPN)23053841X(EXLCZ)99410000000637471320180906d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTesting Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings /edited by Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert Hierons1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XII, 171 p. 45 illus.) Programming and Software Engineering ;111463-319-99926-5 This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cádiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and selected from 29 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded- and cyber-physical-systems, and security infrastructures.Programming and Software Engineering ;11146Software engineeringProgramming languages (Electronic computers)Computer logicArtificial intelligenceComputer organizationSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Computer Systems Organization and Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13006Software engineering.Programming languages (Electronic computers).Computer logic.Artificial intelligence.Computer organization.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Artificial Intelligence.Computer Systems Organization and Communication Networks.004.620287Medina-Bulo Inmaculadaedthttp://id.loc.gov/vocabulary/relators/edtMerayo Mercedes Gedthttp://id.loc.gov/vocabulary/relators/edtHierons Robertedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349409703321Testing Software and Systems3568350UNINA