Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/