Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
tarafından
Yevtushenko, Nina. editor. (orcid)0000-0002-4006-1161
Başlık
:
Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Yazar
:
Yevtushenko, Nina. editor. (orcid)0000-0002-4006-1161
ISBN
:
9783319675497
Edisyon
:
1st ed. 2017.
Fiziksel Niteleme
:
XIII, 341 p. 68 illus. online resource.
Seri
:
Programming and Software Engineering ; 10533
İçindekiler
:
Model based testing -- Test derivation methods -- Safety and security testing -- Test selection and quality estimation -- Testing timed and distributed systems.
Özet
:
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.
Konu Başlığı
:
Software engineering.
Computer Communication Networks.
Computer science.
Logic design.
Information Systems.
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Computer Communication Networks. http://scigraph.springernature.com/things/product-market-codes/I13022
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
Special Purpose and Application-Based Systems. http://scigraph.springernature.com/things/product-market-codes/I13030
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
Management of Computing and Information Systems. http://scigraph.springernature.com/things/product-market-codes/I24067
Yazar Ek Girişi
:
Yevtushenko, Nina.
Cavalli, Ana Rosa.
Yenigün, Hüsnü.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 226638-1001 | QA76.758 | Springer E-Book Collection |