Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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/