LEADER 03550nam  22008055  450 
001 9910485152503321
005 20251226203859.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 $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,$x2945-9168 ;$v8254
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$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,$x2945-9168 ;$v8254
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   $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   $a9910485152503321
996   $aTesting Software and Systems$93568350
997   $aUNINA