000 03805nam a22006015i 4500
001 978-3-642-16573-3
003 DE-He213
005 20240730171306.0
007 cr nn 008mamaa
008 101025s2010 gw | s |||| 0|eng d
020 _a9783642165733
_9978-3-642-16573-3
024 7 _a10.1007/978-3-642-16573-3
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aTesting Software and Systems
_h[electronic resource] :
_b22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /
_cedited by Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado.
250 _a1st ed. 2010.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2010.
300 _aXII, 267 p. 76 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v6435
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.
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_997883
650 0 _aComputer programming.
_94169
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aFormal Languages and Automata Theory.
_997887
650 2 4 _aProgramming Techniques.
_997889
700 1 _aPetrenko, Alexandre.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_997891
700 1 _aSimao, Adenilso.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_997893
700 1 _aMaldonado, José Carlos.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_997894
710 2 _aSpringerLink (Online service)
_997897
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642165726
776 0 8 _iPrinted edition:
_z9783642165740
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v6435
_997898
856 4 0 _uhttps://doi.org/10.1007/978-3-642-16573-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c87493
_d87493