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 LEADER 01627aam 2200421I 450 001 9910711217503321 005 20151113033704.0 024 8 $aGOVPUB-C13-aa943c25d52840e828e5fb21d065a563 035 $a(CKB)5470000002481850 035 $a(OCoLC)929066962 035 $a(EXLCZ)995470000002481850 100 $a20151113d1989 ua 0 101 0 $aeng 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aMeasurements of coefficients of discharge for concentric flange-tapped square-edged orifice meters in water over the Reynolds number range 600 to 2,700,000 /$fJames R. Whetstone 210 1$aGaithersburg, MD :$cU.S. Dept. of Commerce, National Institute of Standards and Technology,$d1989. 215 $a1 online resource 225 1 $aNIST technical note ;$v1264 300 $a1989. 300 $aContributed record: Metadata reviewed, not verified. Some fields updated by batch processes. 300 $aTitle from PDF title page. 320 $aIncludes bibliographical references. 606 $aFlow meters 606 $aHydraulic measurements 615 0$aFlow meters. 615 0$aHydraulic measurements. 700 $aWhetstone$b James R$01390336 701 $aWhetstone$b James R$01390336 712 02$aUnited States.$bNational Bureau of Standards. 801 0$bNBS 801 1$bNBS 801 2$bGPO 906 $aBOOK 912 $a9910711217503321 996 $aMeasurements of coefficients of discharge for concentric flange-tapped square-edged orifice meters in water over the Reynolds number range 600 to 2,700,000$93508881 997 $aUNINA