LEADER 03348nam 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 LEADER 01426nas 2200433 c 450 001 9910891612203321 005 20260218111355.0 024 7 $aurn:nbn:de:gbv:3:2-115130 035 $a(DE-599)ZDB3002180-7 035 $a(OCoLC)1368588582 035 $a(DE-101)1201035600 035 $a(CKB)4910000000550746 035 $a(DE-599)3002180-7 035 $a(EXLCZ)994910000000550746 100 $a20191204a20199999 |y | 101 0 $ager 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aStatistischer Bericht$h[...]$iKinder- und Jugendhilfe, Elterngeld$h[...]$iEinrichtungen und ta?tige Personen der Jugendhilfe : Stand: 31.12. ..$fStatistisches Landesamt Sachsen-Anhalt 210 31$aHalle (Saale)$cStatistisches Landesamt Sachsen-Anhalt$dDezember 2019- 215 $aOnline-Ressource 300 $aBestellnummer: 6K502 300 $aDie Kennziffer K V steht auf dem hinteren Umschlag 300 $aGesehen am 04.12.2019 517 3 $aStatistischer Bericht Sachsen-Anhalt. K 5 608 $aZeitschrift$2gnd-content 608 $aStatistik$2gnd-content 676 $a360 676 $a310 712 02$aStatistisches Landesamt Sachsen-Anhalt$4isb 801 0$b0003 801 1$bDE-101 801 2$b9999 906 $aJOURNAL 912 $a9910891612203321 996 $aStatistischer Bericht$94217603 997 $aUNINA