LEADER 04030nam  22008175  450 
001 996466446203316
005 20200629201243.0
010   $a3-319-25945-8
024 7 $a10.1007/978-3-319-25945-1
035   $a(CKB)4340000000001191
035   $a(SSID)ssj0001585601
035   $a(PQKBManifestationID)16264046
035   $a(PQKBTitleCode)TC0001585601
035   $a(PQKBWorkID)14864841
035   $a(PQKB)10399350
035   $a(DE-He213)978-3-319-25945-1
035   $a(MiAaPQ)EBC5578504
035   $a(PPN)190529318
035   $a(EXLCZ)994340000000001191
100   $a20151107d2015      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTesting Software and Systems$b[electronic resource] $e27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings /$fedited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XIV, 269 p. 69 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v9447
300   $aIncludes index.
311   $a3-319-25944-X 
330   $aThis book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.
410  0$aProgramming and Software Engineering ;$v9447
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   $a005.14
702   $aEl-Fakih$b Khaled$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBarlas$b Gerassimos$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aYevtushenko$b Nina$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466446203316
996   $aTesting software and systems$92088040
997   $aUNISA