03550nam 22008055 450 991048515250332120251226203859.03-642-41707-810.1007/978-3-642-41707-8(CKB)3710000000024435(SSID)ssj0001049646(PQKBManifestationID)11555747(PQKBTitleCode)TC0001049646(PQKBWorkID)11034080(PQKB)11479002(DE-He213)978-3-642-41707-8(MiAaPQ)EBC3093185(PPN)176116834(EXLCZ)99371000000002443520131030d2013 u| 0engurnn|008mamaatxtccrTesting Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings /edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (XIV, 291 p. 84 illus.) Programming and Software Engineering,2945-9168 ;8254Bibliographic Level Mode of Issuance: Monograph3-642-41706-X Model-Based Testing -- Testing Timed and Concurrent Systems -- Test Suite Selection and Effort Estimation -- Tools and Languages.- Debugging.   .This 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.Programming and Software Engineering,2945-9168 ;8254Software engineeringComputer networksCompilers (Computer programs)Computers, Special purposeComputer scienceElectronic data processingManagementSoftware EngineeringComputer Communication NetworksCompilers and InterpretersSpecial Purpose and Application-Based SystemsComputer Science Logic and Foundations of ProgrammingIT OperationsSoftware engineering.Computer networks.Compilers (Computer programs).Computers, Special purpose.Computer science.Electronic data processingManagement.Software Engineering.Computer Communication Networks.Compilers and Interpreters.Special Purpose and Application-Based Systems.Computer Science Logic and Foundations of Programming.IT Operations.005.14Yenigün Hüsnüedthttp://id.loc.gov/vocabulary/relators/edtYilmaz Cemaledthttp://id.loc.gov/vocabulary/relators/edtUlrich Andreasedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910485152503321Testing Software and Systems3568350UNINA