LEADER 04719nam 22008295 450 001 9910483161503321 005 20251226200311.0 010 $a3-662-44857-2 024 7 $a10.1007/978-3-662-44857-1 035 $a(CKB)3710000000249795 035 $a(SSID)ssj0001354319 035 $a(PQKBManifestationID)11987182 035 $a(PQKBTitleCode)TC0001354319 035 $a(PQKBWorkID)11327072 035 $a(PQKB)10858498 035 $a(DE-He213)978-3-662-44857-1 035 $a(MiAaPQ)EBC6285567 035 $a(MiAaPQ)EBC5596220 035 $a(Au-PeEL)EBL5596220 035 $a(OCoLC)891727258 035 $a(PPN)181351994 035 $a(EXLCZ)993710000000249795 100 $a20140915d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTesting Software and Systems $e26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /$fedited by Mercedes G. Merayo, Edgardo Montes de Oca 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XIV, 211 p. 63 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8763 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-662-44856-4 327 $aTesting Methodologies -- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions -- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints -- Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences -- Plan It! Automated Security Testing Based on Planning -- Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria -- Tools and Frameworks -- An Approach to Derive Usage Models Variants for Model-Based Testing -- AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems -- Well-Defined Coverage Metrics for the Glass Box Test -- Industrial Experiences -- Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What Characterizes a Good Software Tester? ? A Survey in Four Norwegian Companies -- Short Contributions -- A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems -- Towards Testing Self-organizing, Adaptive Systems -- Design of Prioritized N-Wise Testing -- Change Detection System for the Maintenance of Automated Testing -- On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment -- Search-Based Testing for Embedded Telecom Software with Complex Input Structures. 330 $aThis book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul, Turkey, in September 2014. The 11 revised full papers presented together with 6 short papers were carefully selected from 36 submissions. The scope of the conference was on following topics: testing methodologies, tools and frameworks, and industrial experiences. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v8763 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 $aMerayo$b Mercedes G$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMontes de Oca$b Edgardo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483161503321 996 $aTesting Software and Systems$93568350 997 $aUNINA