دانلود کتاب Testing Software and Systems: 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

فهرست مطالب :

Front Matter....Pages -
A Framework for Genetic Test-Case Generation for WS-BPEL Compositions....Pages 1-16
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints....Pages 17-31
Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences....Pages 32-47
Plan It! Automated Security Testing Based on Planning....Pages 48-62
Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria....Pages 63-79
An Approach to Derive Usage Models Variants for Model-Based Testing....Pages 80-96
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems....Pages 97-112
Well-Defined Coverage Metrics for the Glass Box Test....Pages 113-128
Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment....Pages 129-144
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study....Pages 145-160
What Characterizes a Good Software Tester? – A Survey in Four Norwegian Companies....Pages 161-172
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems....Pages 173-179
Towards Testing Self-organizing, Adaptive Systems....Pages 180-185
Design of Prioritized N -Wise Testing....Pages 186-191
Change Detection System for the Maintenance of Automated Testing....Pages 192-197
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment....Pages 198-204
Search-Based Testing for Embedded Telecom Software with Complex Input Structures....Pages 205-210
Back Matter....Pages -