000 03981nam a22005895i 4500
001 978-3-662-44857-1
003 DE-He213
005 20200421111840.0
007 cr nn 008mamaa
008 140915s2014 gw | s |||| 0|eng d
020 _a9783662448571
_9978-3-662-44857-1
024 7 _a10.1007/978-3-662-44857-1
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aTesting Software and Systems
_h[electronic resource] :
_b26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /
_cedited by Mercedes G. Merayo, Edgardo Montes de Oca.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2014.
300 _aXIV, 211 p. 63 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8763
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aComputer communication systems.
650 0 _aSpecial purpose computers.
650 0 _aSoftware engineering.
650 0 _aProgramming languages (Electronic computers).
650 0 _aComputer logic.
650 0 _aManagement information systems.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aComputer Communication Networks.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aSpecial Purpose and Application-Based Systems.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aManagement of Computing and Information Systems.
700 1 _aMerayo, Mercedes G.
_eeditor.
700 1 _aOca, Edgardo Montes de.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783662448564
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8763
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-662-44857-1
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c55531
_d55531