E-Book, Englisch, Band 9976, 257 Seiten, eBook
Wotawa / Nica / Kushik Testing Software and Systems
1. Auflage 2016
ISBN: 978-3-319-47443-4
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
E-Book, Englisch, Band 9976, 257 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-319-47443-4
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.