Testing Software and Systems

29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün (Herausgeber)

Buch | Softcover

XIII, 341 Seiten

2017 | 1st ed. 2017
Springer International Publishing (Verlag)
978-3-319-67548-0 (ISBN)

Artikel merken

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.

Model based testing.- Test derivation methods.- Safety and security testing.- Test selection and quality estimation.- Testing timed and distributed systems.

Erscheinungsdatum	24.10.2017
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	XIII, 341 p. 68 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	539 g
Themenwelt	Informatik ► Software Entwicklung ► Qualität / Testen
Schlagworte	Applications • automata over infinite objects • Cloud Computing • Compilers & interpreters • Compilers & interpreters • computer architecture & logic design • Computer architecture & logic design • Computer Communication Networks • Computer programming / software engineering • Computer Science • conference proceedings • Expert systems / knowledge-based systems • fault models and test metrics • formal languages and automata theory • formal methods • formal methods and theory of security • Formal Specifications • Informatics • information architecture • Logics and meanings of programs • Maintenance & repairs • Maintenance & repairs • management of computing and information systems • network hardware • Programming & scripting languages: general • Programming languages, compilers, interpreters • Programming & scripting languages: general • protocol testing and verification • real-time system specification • Research • Software engineering • software functional properties • software performance • Software Reliability • Software Safety • software system models • Software Verification • Special purpose and application-based systems • testing with distributed and oarallel systems • theorem proving and SAT solving
ISBN-10	3-319-67548-6 / 3319675486
ISBN-13	978-3-319-67548-0 / 9783319675480
Zustand	Neuware