Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings /
Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings / [electronic resource] :
edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün.
- 1st ed. 2017.
- XIII, 341 p. 68 illus. online resource.
- Programming and Software Engineering, 10533 2945-9168 ; .
- Programming and Software Engineering, 10533 .
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.
9783319675497
10.1007/978-3-319-67549-7 doi
Software engineering.
Computer networks .
Compilers (Computer programs).
Computers, Special purpose.
Computer science.
Electronic data processing--Management.
Software Engineering.
Computer Communication Networks.
Compilers and Interpreters.
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
IT Operations.
QA76.758
005.1
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.
9783319675497
10.1007/978-3-319-67549-7 doi
Software engineering.
Computer networks .
Compilers (Computer programs).
Computers, Special purpose.
Computer science.
Electronic data processing--Management.
Software Engineering.
Computer Communication Networks.
Compilers and Interpreters.
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
IT Operations.
QA76.758
005.1