LEADER 05341nam 22008535 450 001 996199679903316 005 20200701170913.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$b[electronic resource] $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 ;$v8763 300 $aBibliographic Level Mode of Issuance: Monograph 311 $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 ;$v8763 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 $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 $a996199679903316 996 $aTesting software and systems$92088040 997 $aUNISA LEADER 01390nam0 22003853i 450 001 RAV0231275 005 20251003044327.0 010 $a8816430591 100 $a20151021d1994 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aBiologia teorica$fB. Chiarelli ... [et al.] 210 $aMilano$cJaca book$d1994 215 $a174 p.$d19 cm. 225 | $aEDO$v59 410 0$1001LO10085979$12001 $aEDO$v59 606 $aBiologia$2FIR$3CFIC006589$9E 676 $a570$9SCIENZE DELLA VITA. BIOLOGIA$v14 676 $a570.1$9SCIENZE DELLA VITA BIOLOGIA. FILOSOFIA E TEORIA$v23 676 $a574.01$9FILOSOFIA E TEORIA DELLA BIOLOGIA$v20 696 $aScienze biologiche 699 $aBiologia$zScienze biologiche 702 1$aChiarelli$b, Brunetto$3CFIV022161 790 1$aChiarelli$b, Anton Brunetto$3CFIV195519$zChiarelli, Brunetto 790 1$aChiarelli$b, A. B.$3SBNV006490$zChiarelli, Brunetto 801 3$aIT$bIT-000000$c20151021 850 $aIT-BN0095 $aIT-NA0075 901 $bNAP 01$cSALA $n$ 912 $aRAV0231275 950 0$aBiblioteca Centralizzata di Ateneo$d 01SALA 570 CHI bi$e 0104 9000005755 VMA 1 v.$fA $h20121002$i20121002 977 $a 01$a GE 996 $aBiologia teorica$9108469 997 $aUNISANNIO