000 06622cam a2201009 a 4500
001 ocn672011403
003 OCoLC
005 20250703160149.0
006 m o d
007 cr |||||||||||
008 101027s2010 gw a ob 101 0 eng d
040 _aCUS
_beng
_epn
_cCUS
_dGW5XE
_dE7B
_dOUN
_dOCLCQ
_dCOO
_dOCLCQ
_dOCLCO
_dOCLCF
_dBEDGE
_dDKDLA
_dOCLCQ
_dOCLCO
_dNLGGC
_dYDXCP
_dOCL
_dOCLCO
_dEBLCP
_dOCLCQ
_dOCLCO
_dVT2
_dSHS
_dUAB
_dESU
_dOCLCQ
_dIOG
_dBUF
_dCEF
_dCRU
_dOCLCQ
_dTFW
_dOCLCO
_dU3W
_dAU@
_dOCLCO
_dWYU
_dOCLCQ
_dOCLCA
_dOCLCQ
_dOCLCO
_dLEAUB
_dOCLCQ
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCQ
_dOCLCL
_dOCLCA
015 _a10,N38
_2dnb
016 7 _a1006975918
_2DE-101
016 7 _a015673134
_2Uk
019 _a679539228
_a681900142
_a964932828
_a1005804457
_a1058128761
_a1066436418
_a1066552714
_a1081199177
_a1086558647
020 _a9783642165733
020 _a3642165737
020 _a1280390085
020 _a9781280390081
020 _a9786613568007
020 _a6613568007
020 _z9783642165726
_q(pbk.)
020 _z3642165729
_q(pbk.)
024 7 _a10.1007/978-3-642-16573-3
_2doi
029 1 _aAU@
_b000048718839
029 1 _aNLGGC
_b330018671
029 1 _aNZ1
_b13647399
029 1 _aDKDLA
_b820120-katalog:999889479205765
035 _a(OCoLC)672011403
_z(OCoLC)679539228
_z(OCoLC)681900142
_z(OCoLC)964932828
_z(OCoLC)1005804457
_z(OCoLC)1058128761
_z(OCoLC)1066436418
_z(OCoLC)1066552714
_z(OCoLC)1081199177
_z(OCoLC)1086558647
037 _a978-3-642-16572-6
_bSpringer
_nhttp://www.springerlink.com
050 4 _aTK5101.A1
072 7 _aQA
_2lcco
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1/4
_222
084 _a54.32
_2bcl
084 _a54.52
_2bcl
049 _aMAIN
111 2 _aICTSS 2010
_d(2010 :
_cNatal, Brazil)
_940254
245 1 0 _aTesting software and systems :
_b22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings /
_cAlexandre Petrenko, Adenilso Simão, José Carlos Maldonado (eds.).
246 3 0 _aICTSS 2010
260 _aBerlin :
_bSpringer,
_c2010.
300 _a1 online resource (xii, 265 pages) :
_billustrations
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 ;
_v6435
490 1 _aLNCS sublibrary. SL 2, Programming and software engineering
504 _aIncludes bibliographical references and index.
520 8 _aAnnotation
_bThis book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Brazil, in November 2010. ICTSS 2010 is the merger of the 22nd IFIP International Conference on Testing of Communicating Systems (TESTCOM) and the 10th International Workshop on Formal Approaches to Testing of Software (FATES). The 16 revised full papers presented together with 2 invited presentations were carefully selected from 60 submissions. The papers cover a wide range of topics in the field of testing of general software and systems such as test automation, integration testing, test case selection, search based testing, combinatorial testing, inductive testing, test architectures for large-scale systems, and end-to-end performance testing.
588 0 _aPrint version record.
505 0 _aTest Automation with TTCN-3 -- State of the Art and a Future Perspective -- A Model-Based Approach to Testing Software for Critical Behavior and Properties -- A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO -- Reducing the Cost of Model-Based Testing through Test Case Diversity -- Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems -- Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing -- Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study -- FloPSy -- Search-Based Floating Point Constraint Solving for Symbolic Execution -- Test Data Generation for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures for Large-Scale Systems -- Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction -- Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks -- A Learning-Based Approach to Unit Testing of Numerical Software -- From Scenarios to Test Implementations Via Promela -- Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases.
546 _aEnglish.
650 0 _aTelecommunication systems
_xTesting
_vCongresses.
_917626
650 0 _aComputer software
_xTesting
_vCongresses.
_918837
650 7 _aInformatique.
_2eclas
_914930
650 7 _aComputer software
_xTesting
_2fast
_94794
650 7 _aTelecommunication systems
_xTesting
_2fast
_917627
650 7 _aTesten
_2gnd
_918844
650 7 _aKommunikationssystem
_2gnd
_939201
650 7 _aSoftwaretest
_2gnd
_938895
650 7 _aTestmustergenerierung
_2gnd
_940255
650 7 _aModel Checking
_2gnd
_91932
650 7 _aSoftware
_2gnd
_916724
650 7 _aLogiciels
_xEssais
_xCongrès.
_2ram
_940256
650 7 _aSystèmes de télécommunications
_xEssais
_xCongrès.
_2ram
_940257
651 7 _aNatal <Rio Grande do Norte, 2010>
_2swd
_940258
655 7 _aproceedings (reports)
_2aat
655 7 _aConference papers and proceedings
_2fast
_96065
655 7 _aConference papers and proceedings.
_2lcgft
_96065
655 7 _aActes de congrès.
_2rvmgf
_9609890
700 1 _aPetrenko, Alexandre.
_918847
700 1 _aSimão, Adenilso.
_940259
700 1 _aMaldonado, José Carlos.
_940260
710 2 _aIFIP Working Group 6.1.
_922020
758 _ihas work:
_aTesting software and systems (Text)
_1https://id.oclc.org/worldcat/entity/E39PCH8yPYTBmxbMCXCRjJCvpP
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrint version:
_tTesting software and systems.
_dBerlin : Springer, 2010
_z9783642165726
_w(DLC) 2010936701
_w(OCoLC)670471797
830 0 _aLecture notes in computer science ;
_v6435.
_x0302-9743
830 0 _aLNCS sublibrary.
_nSL 2,
_pProgramming and software engineering.
_920654
856 4 0 _uhttps://link.springer.com/10.1007/978-3-642-16573-3
938 _aProQuest Ebook Central
_bEBLB
_nEBL3066041
938 _aebrary
_bEBRY
_nebr10426127
938 _aYBP Library Services
_bYANK
_n3523311
994 _a92
_bATIST
999 _c640443
_d640443