05239nam 22007935 450 991048504960332120200701234109.03-319-47443-X10.1007/978-3-319-47443-4(CKB)3710000000909162(DE-He213)978-3-319-47443-4(MiAaPQ)EBC6303214(MiAaPQ)EBC5592653(Au-PeEL)EBL5592653(OCoLC)960695428(PPN)196323290(EXLCZ)99371000000090916220161003d2016 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTesting Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /edited by Franz Wotawa, Mihai Nica, Natalia Kushik1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XVIII, 257 p. 62 illus.) Programming and Software Engineering ;99763-319-47442-1 Conformance Testing in Respect to Partial-Order Specifications -- Back-to-Back Testing of Self-Organization Mechanisms -- Test Generation by Constraint Solving and FSM Mutant Killing -- Risk-based Interoperability Testing Using Reinforcement Learning -- A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing -- Controllability Through Non-determinism in Distributed Testing -- Parallelizing Heuristics for Generating Synchronizing Sequences -- Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness -- On-the-fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications -- Mutation-Based Test Generation for PLC Embedded Software Using Model Checking -- STIPI: Using Search to Prioritize Test Cases Based on Multi-Objectives Derived from Industrial Practice -- From Simulation Data to Test Cases for Fully Automated Driving and ADAS -- Searching Critical Values for Floating-point Programs -- UTTOS: A Tool for Testing UEFI Code in OS Environment -- Towards Model Construction Based on Test Cases and GUI Extraction -- Set-based Algorithms for Combinatorial Test Set Generation -- Another Experience with Test* in Industry: Automated Localization Testing -- Distribution Visualization for User Behavior Analysis on LTE Network. .This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016. The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in testing, practical applications, and short contributions.Programming and Software Engineering ;9976Software engineeringComputer communication systemsProgramming languages (Electronic computers)Special purpose computersComputer logicManagement information systemsComputer scienceSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XManagement of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Software engineering.Computer communication systems.Programming languages (Electronic computers).Special purpose computers.Computer logic.Management information systems.Computer science.Software Engineering.Computer Communication Networks.Programming Languages, Compilers, Interpreters.Special Purpose and Application-Based Systems.Logics and Meanings of Programs.Management of Computing and Information Systems.005.14Wotawa Franzedthttp://id.loc.gov/vocabulary/relators/edtNica Mihaiedthttp://id.loc.gov/vocabulary/relators/edtKushik Nataliaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910485049603321Testing Software and Systems3568350UNINA