LEADER 05531nam 22008655 450 001 996466316303316 005 20200701084638.0 010 $a3-642-34691-X 024 7 $a10.1007/978-3-642-34691-0 035 $a(CKB)3400000000102836 035 $a(SSID)ssj0000810231 035 $a(PQKBManifestationID)11956455 035 $a(PQKBTitleCode)TC0000810231 035 $a(PQKBWorkID)10828021 035 $a(PQKB)11402532 035 $a(DE-He213)978-3-642-34691-0 035 $a(MiAaPQ)EBC6306831 035 $a(MiAaPQ)EBC5576896 035 $a(Au-PeEL)EBL5576896 035 $a(OCoLC)820879062 035 $a(PPN)168327392 035 $a(EXLCZ)993400000000102836 100 $a20121116d2012 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTesting Software and Systems$b[electronic resource] $e24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings /$fedited by Brian Nielsen, Carsten Weise 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (X, 263 p. 97 illus.) 225 1 $aProgramming and Software Engineering ;$v7641 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-34690-1 327 $aRequirements-Driven Log Analysis -- Active Learning of Extended Finite State Machines -- Testing in Practice -- Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools -- Managing Execution Environment Variability during Software Testing:mAn Industrial Experience -- A Technique for Agile and Automatic Interaction Testing for Product Lines -- CaPTIF: Comprehensive Performance TestIng Framework -- Test Frameworks for Distributed Systems Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems -- Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol -- Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems.-Testing of Embedded Systems Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing -- Querying Parametric Temporal Logic Properties on Embedded Systems -- State Estimation and Property-Guided Exploration for Hybrid Systems Testing -- Test Optimization -- Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes -- Using Behaviour Inference to Optimise Regression Test Sets -- New Testing Methods -- Machine Learning Approach in Mutation Testing -- Lightweight Automatic Error Detection by Monitoring Collar Variables -- Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution -- Parameterized GUI Tests. 330 $aThis book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods. 410 0$aProgramming and Software Engineering ;$v7641 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 $aNielsen$b Brian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWeise$b Carsten$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aICTSS (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466316303316 996 $aTesting software and systems$92088040 997 $aUNISA