04831nam 22008055 450 99646570670331620201028134107.01-280-39008-597866135680073-642-16573-710.1007/978-3-642-16573-3(CKB)2550000000019905(SSID)ssj0000446822(PQKBManifestationID)11308428(PQKBTitleCode)TC0000446822(PQKBWorkID)10504471(PQKB)11615566(DE-He213)978-3-642-16573-3(MiAaPQ)EBC3066041(PPN)149029659(EXLCZ)99255000000001990520101025d2010 u| 0engurnn|008mamaatxtccrTesting Software and Systems[electronic resource] 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /edited by Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XII, 267 p. 76 illus.) Programming and Software Engineering ;6435Bibliographic Level Mode of Issuance: Monograph3-642-16572-9 Includes bibliographical references and index.Test 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.Programming and Software Engineering ;6435Software engineeringProgramming languages (Electronic computers)Computer logicMathematical logicComputer programmingSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Natal <Rio Grande do Norte, 2010>swdKongress.swdSoftware engineering.Programming languages (Electronic computers).Computer logic.Mathematical logic.Computer programming.Software Engineering/Programming and Operating Systems.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Programming Techniques.004.24Petrenko Alexandreedthttp://id.loc.gov/vocabulary/relators/edtSimao Adenilsoedthttp://id.loc.gov/vocabulary/relators/edtMaldonado José Carlosedthttp://id.loc.gov/vocabulary/relators/edtICTSS 2010BOOK996465706703316Testing software and systems2088040UNISA