TY - BOOK AU - Yevtushenko,Nina AU - Cavalli,Ana Rosa AU - Yenigün,Hüsnü ED - SpringerLink (Online service) TI - Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings T2 - Programming and Software Engineering SN - 9783319675497 AV - QA76.758 U1 - 005.1 23 PY - 2017/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Software engineering KW - Computer communication systems KW - Programming languages (Electronic computers) KW - Special purpose 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 N1 - Model based testing -- Test derivation methods -- Safety and security testing -- Test selection and quality estimation -- Testing timed and distributed systems; Available to subscribing member institutions only. Доступно лише організаціям членам підписки N2 - 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 UR - https://doi.org/10.1007/978-3-319-67549-7 ER -