Andere Kunden interessierten sich auch für
![SDL 2017: Model-Driven Engineering for Future Internet]( "SDL 2017: Model-Driven Engineering for Future Internet")
SDL 2017: Model-Driven Engineering for Future Internet37,99 €![Fundamental Approaches to Software Engineering]( "Fundamental Approaches to Software Engineering")
Fundamental Approaches to Software Engineering37,99 €![Formal Methods and Software Engineering]( "Formal Methods and Software Engineering")
Formal Methods and Software Engineering37,99 €![Automated Technology for Verification and Analysis]( "Automated Technology for Verification and Analysis")
Automated Technology for Verification and Analysis37,99 €![String Analysis for Software Verification and Security]( "String Analysis for Software Verification and Security")
String Analysis for Software Verification and Security63,99 €![PRIMA 2017: Principles and Practice of Multi-Agent Systems]( "PRIMA 2017: Principles and Practice of Multi-Agent Systems")
PRIMA 2017: Principles and Practice of Multi-Agent Systems37,99 €![Computer Aided Verification]( "Computer Aided Verification")
Computer Aided Verification75,99 €
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.
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.