LEADER 04172nam  22008295  450 
001 996465407903316
005 20200703022420.0
010   $a3-642-41707-8
024 7 $a10.1007/978-3-642-41707-8
035   $a(CKB)3710000000024435
035   $a(SSID)ssj0001049646
035   $a(PQKBManifestationID)11555747
035   $a(PQKBTitleCode)TC0001049646
035   $a(PQKBWorkID)11034080
035   $a(PQKB)11479002
035   $a(DE-He213)978-3-642-41707-8
035   $a(MiAaPQ)EBC3093185
035   $a(PPN)176116834
035   $a(EXLCZ)993710000000024435
100   $a20131030d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTesting Software and Systems$b[electronic resource] $e25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings /$fedited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XIV, 291 p. 84 illus.) 
225 1 $aProgramming and Software Engineering ;$v8254
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-41706-X 
327   $aModel-Based Testing -- Testing Timed and Concurrent Systems -- Test Suite Selection and Effort Estimation -- Tools and Languages.- Debugging.   .
330   $aThis book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging.
410  0$aProgramming and Software Engineering ;$v8254
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   $aYenigün$b Hüsnü$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aYilmaz$b Cemal$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aUlrich$b Andreas$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465407903316
996   $aTesting software and systems$92088040
997   $aUNISA