LEADER 03349nam  22007455  450 
001 9910483327303321
005 20251225210852.0
010   $a3-319-67549-4
024 7 $a10.1007/978-3-319-67549-7
035   $a(CKB)4100000000587156
035   $a(DE-He213)978-3-319-67549-7
035   $a(MiAaPQ)EBC5578584
035   $a(PPN)204533716
035   $a(EXLCZ)994100000000587156
100   $a20170914d2017      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTesting Software and Systems $e29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings /$fedited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XIII, 341 p. 68 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10533
300   $aIncludes index.
311 08$a3-319-67548-6 
327   $aModel based testing -- Test derivation methods -- Safety and security testing -- Test selection and quality estimation -- Testing timed and distributed systems.
330   $aThis 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.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v10533
606   $aSoftware engineering
606   $aComputer networks
606   $aCompilers (Computer programs)
606   $aComputers, Special purpose
606   $aComputer science
606   $aElectronic data processing$xManagement
606   $aSoftware Engineering
606   $aComputer Communication Networks
606   $aCompilers and Interpreters
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer Science Logic and Foundations of Programming
606   $aIT Operations
615  0$aSoftware engineering.
615  0$aComputer networks.
615  0$aCompilers (Computer programs).
615  0$aComputers, Special purpose.
615  0$aComputer science.
615  0$aElectronic data processing$xManagement.
615 14$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aCompilers and Interpreters.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aIT Operations.
676   $a004.620287
702   $aYevtushenko$b Nina$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCavalli$b Ana Rosa$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aYenigün$b Hüsnü$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483327303321
996   $aTesting Software and Systems$93568350
997   $aUNINA