Testing Software and Systems

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.