Testing software and systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. (2016)

• Record Type: Book
• Other Titles: ICTSS 2016
• Further Information: Note: Franz Wotawa, Mihai Nica, Natalia Kushik (eds.).
• Editors: Wotawa, Franz; Nica, Mihai; Kushik, Natalia
• Other Names: ICTSS (Conference), 28th
• Contents: 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xviii, 257 pages), illustrations
• Subjects: 005.1; Computer science; Computer software -- Testing -- Congresses; Software engineering -- Congresses; Computer software -- Testing; Software engineering; 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; Computers -- Hardware -- Network Hardware; Computers -- Programming Languages -- General; Computers -- Expert Systems; Computers -- Programming -- General; Business & Economics -- Information Management; Network hardware; Programming & scripting languages: general; Expert systems / knowledge-based systems; Computer programming / software development; Information architecture; Software engineering; Computer Communication Networks; Logic design; Information Systems; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319474434; 3319474421; 9783319474427
• Related ISBNs: 331947443X; 9783319474427
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed October 14, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.