LEADER 04831nam 22008055 450 001 996465706703316 005 20201028134107.0 010 $a1-280-39008-5 010 $a9786613568007 010 $a3-642-16573-7 024 7 $a10.1007/978-3-642-16573-3 035 $a(CKB)2550000000019905 035 $a(SSID)ssj0000446822 035 $a(PQKBManifestationID)11308428 035 $a(PQKBTitleCode)TC0000446822 035 $a(PQKBWorkID)10504471 035 $a(PQKB)11615566 035 $a(DE-He213)978-3-642-16573-3 035 $a(MiAaPQ)EBC3066041 035 $a(PPN)149029659 035 $a(EXLCZ)992550000000019905 100 $a20101025d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTesting Software and Systems$b[electronic resource] $e22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /$fedited by Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XII, 267 p. 76 illus.) 225 1 $aProgramming and Software Engineering ;$v6435 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-16572-9 320 $aIncludes bibliographical references and index. 327 $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. 410 0$aProgramming and Software Engineering ;$v6435 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aMathematical logic 606 $aComputer programming 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 607 $aNatal $2swd 608 $aKongress.$2swd 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aMathematical logic. 615 0$aComputer programming. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 676 $a004.24 702 $aPetrenko$b Alexandre$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSimao$b Adenilso$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaldonado$b José Carlos$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aICTSS 2010 906 $aBOOK 912 $a996465706703316 996 $aTesting software and systems$92088040 997 $aUNISA