Testing Software and Systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings - Yevtushenko, Nina.; Cavalli, Ana Rosa.; Yenigün, Hüsnü.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Model based testing -- Test derivation methods -- Safety and security testing -- Test selection and quality estimation -- Testing timed and distributed systems.
Keywords: Software 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