Table of Contents
|
Testing Software and Systems
Mercedes G. Merayo, Edgardo Montes de Oca (Eds.)
|
Front Matter |
Testing Methodologies
|
A Framework for Genetic Test-Case Generation for WS-BPEL Compositions
Antonia Estero-Botaro, Antonio García-Domínguez, Juan Domínguez-Jiménez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo |
1-16 |
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints
Shaukat Ali, Tao Yue |
17-31 |
Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences
Uraz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün |
32-47 |
Plan It! Automated Security Testing Based on Planning
Franz Wotawa, Josip Bozic |
48-62 |
Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria
Anurag Dwarakanath, Aruna Jankiti |
63-79 |
Tools and Frameworks
|
An Approach to Derive Usage Models Variants for Model-Based Testing
Hamza Samih, Hélène Le Guen, Ralf Bogusch, Mathieu Acher, Benoit Baudry |
80-96 |
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems
M. Abdelmoula, D. Gaffé, M. Auguin |
97-112 |
Well-Defined Coverage Metrics for the Glass Box Test
Rainer Schmidberger |
113-128 |
Industrial Experiences
|
Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment
Manuel Palmieri, Antonio Cicchetti, Anders Öberg |
129-144 |
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study
Morten Mossige, Arnaud Gotlieb, Hein Meling |
145-160 |
What Characterizes a Good Software Tester? – A Survey in Four Norwegian Companies
Anca Deak |
161-172 |
Short Contributions
|
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems
Martial Chabot, Laurence Pierre |
173-179 |
Towards Testing Self-organizing, Adaptive Systems
Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif |
180-185 |
Design of Prioritized N-Wise Testing
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa |
186-191 |
Change Detection System for the Maintenance of Automated Testing
Miroslav Bures |
192-197 |
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment
Khaled El-Fakih, Tariq Salameh, Nina Yevtushenko |
198-204 |
Search-Based Testing for Embedded Telecom Software with Complex Input Structures
Kivanc Doganay, Sigrid Eldh, Wasif Afzal, Markus Bohlin |
205-210 |
Hosted by HAL : 