Linked e-resources
Details
Table of 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. .
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. .