03971nam 22007695 450 99646597900331620200706052227.03-319-67549-410.1007/978-3-319-67549-7(CKB)4100000000587156(DE-He213)978-3-319-67549-7(MiAaPQ)EBC5578584(PPN)204533716(EXLCZ)99410000000058715620170914d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTesting Software and Systems[electronic resource] 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings /edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XIII, 341 p. 68 illus.) Programming and Software Engineering ;10533Includes index.3-319-67548-6 Model based testing -- Test derivation methods -- Safety and security testing -- Test selection and quality estimation -- Testing timed and distributed systems.This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.Programming and Software Engineering ;10533Software engineeringComputer communication systemsProgramming languages (Electronic computers)Special purpose computersComputer logicManagement information systemsComputer scienceSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XManagement of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Software engineering.Computer communication systems.Programming languages (Electronic computers).Special purpose computers.Computer logic.Management information systems.Computer science.Software Engineering.Computer Communication Networks.Programming Languages, Compilers, Interpreters.Special Purpose and Application-Based Systems.Logics and Meanings of Programs.Management of Computing and Information Systems.004.620287Yevtushenko Ninaedthttp://id.loc.gov/vocabulary/relators/edtCavalli Ana Rosaedthttp://id.loc.gov/vocabulary/relators/edtYenigün Hüsnüedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465979003316Testing software and systems2088040UNISA