TY - BOOK ID - 5453619 TI - Testing of software and communicating systems : 20th IFIP TC 6/WG 6.1 international conference, TestCom 2008, 8th international workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 : proceedings AU - Suzuki, K. AU - IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems AU - International Federation for Information Processing. PY - 2008 SN - 9783540685142 3540685146 3540685243 PB - Berlin ; New York : Springer, DB - UniCat KW - Telecommunication systems KW - Computer software KW - Systèmes de télécommunications KW - Logiciels KW - Testing KW - Congresses. KW - Essais KW - Congrès KW - Telecommunications KW - Computer Science KW - Engineering & Applied Sciences KW - Electrical & Computer Engineering KW - Information Technology KW - Software Engineering KW - Communication systems KW - Communications systems KW - Systems, Communication KW - Computer science. KW - Computer communication systems. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Management information systems. KW - Electrical engineering. KW - Computer Science. KW - Software Engineering. KW - Computer Communication Networks. KW - Programming Languages, Compilers, Interpreters. KW - Logics and Meanings of Programs. KW - Management of Computing and Information Systems. KW - Communications Engineering, Networks. KW - Electric engineering KW - Engineering KW - Computer-based information systems KW - EIS (Information systems) KW - Executive information systems KW - MIS (Information systems) KW - Sociotechnical systems KW - Information resources management KW - Management KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computer software engineering 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 - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Network computers KW - Informatics KW - Science KW - Distributed processing KW - Logic design. KW - Information Systems. KW - Telecommunication. KW - Electric communication KW - Mass communication KW - Telecom KW - Telecommunication industry KW - Communication KW - Information theory KW - Telecommuting KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory UR - https://www.unicat.be/uniCat?func=search&query=sysid:5453619 AB - This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing. ER -