Testing Software and Systems
29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Includes supplementary material: sn.pub/extras
Autor*in
Nina Yevtushenko
Themen in »Testing Software and Systems«
theorem proving and SAT solving fault models and test metrics testing with distributed and oarallel systems cloud computing real-time system specification protocol testing and verification formal specifications software system models software functional properties formal methods software performance software reliability software safety software verification formal languages and automata theory