LEADER 03971nam  22007695  450 
001 996465979003316
005 20200706052227.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$b[electronic resource] $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 ;$v10533
300   $aIncludes index.
311   $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 ;$v10533
606   $aSoftware engineering
606   $aComputer communication systems
606   $aProgramming languages (Electronic computers)
606   $aSpecial purpose computers
606   $aComputer logic
606   $aManagement information systems
606   $aComputer science
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aSoftware engineering.
615  0$aComputer communication systems.
615  0$aProgramming languages (Electronic computers).
615  0$aSpecial purpose computers.
615  0$aComputer logic.
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aLogics and Meanings of Programs.
615 24$aManagement of Computing and Information Systems.
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   $a996465979003316
996   $aTesting software and systems$92088040
997   $aUNISA