TY - BOOK ID - 16191661 TI - Testing Software and Systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings AU - Yevtushenko, Nina. AU - Cavalli, Ana Rosa. AU - Yenigün, Hüsnü. PY - 2017 SN - 3319675494 3319675486 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer science. KW - Computer communication systems. KW - Special purpose computers. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Management information systems. KW - Computer Science. KW - Software Engineering. KW - Computer Communication Networks. KW - Programming Languages, Compilers, Interpreters. KW - Special Purpose and Application-Based Systems. KW - Logics and Meanings of Programs. KW - Management of Computing and Information Systems. KW - Computer-based information systems KW - EIS (Information systems) KW - Executive information systems KW - MIS (Information systems) KW - Computer science logic KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Computer software engineering KW - Special purpose computers KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Informatics KW - Sociotechnical systems KW - Information resources management KW - Management KW - Logic, Symbolic and mathematical KW - Electronic data processing KW - Languages, Artificial KW - Engineering KW - Computers KW - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Network computers KW - Science KW - Communication systems KW - Distributed processing KW - Logic design. KW - Information Systems. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Computer network protocols KW - Testing KW - Protocols, Computer network KW - Computer networks UR - https://www.unicat.be/uniCat?func=search&query=sysid:16191661 AB - 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. ER -