Testing Methodologies -- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions -- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints -- Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences -- Plan It! Automated Security Testing Based on Planning -- Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria -- Tools and Frameworks -- An Approach to Derive Usage Models Variants for Model-Based Testing -- AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems -- Well-Defined Coverage Metrics for the Glass Box Test -- Industrial Experiences -- Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What Characterizes a Good Software Tester? – A Survey in Four Norwegian Companies -- Short Contributions -- A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems -- Towards Testing Self-organizing, Adaptive Systems -- Design of Prioritized N-Wise Testing -- Change Detection System for the Maintenance of Automated Testing -- On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment -- Search-Based Testing for Embedded Telecom Software with Complex Input Structures.