@inproceedings{5a02b61984fd4ed9a82239d4a2f1776b,
title = "Application of two test generation tools to an industrial case study",
abstract = "Many tools for test generation already exist and are used in industry; others are under development or improvement to allow faster generation and more effective tests. Comparing testing tools permits to acquire in-depth knowledge of the characteristics of each tool and to discover its strong points and limitations. Thus, the analysis of different automatic test generation tools provides a precise idea on the appropriate tool to be used to attain the expected results. This paper describes the application of two test generation tools to an industrial case study: a reverse directory telephone service similar to deployed services of this category developed by France Telecom. The tools used, for the automatic test generation, are a commercial tool TestComposer and SIRIUS, a tool developed by INT team. France Telecom R\&D division provided the test campaign designed manually by a France Telecom service expert used to define the test objectives. The goal of this paper is to present the experimental results of tools application, to compare their performances and analyze some issues related to test execution.",
keywords = "Automatic test generation, Case study, Conformance testing, Extended finite state machine, Formal specification, Service testing, Telephonic service, Test generation tools",
author = "Ana Cavalli and St{\'e}phane Maag and Wissam Mallouli and Mikael Marche and Quemener, \{Yves Marie\}",
year = "2006",
month = jan,
day = "1",
doi = "10.1007/11754008\_9",
language = "English",
isbn = "3540341846",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "134--148",
editor = "Duale, \{Ali Y.\} and Uyar, \{M. {\"U}mit\} and Fecko, \{Mariusz A.\}",
booktitle = "Testing of Communicating Systems - 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, Proceedings",
note = "18th IFIP TC 6/WG 6.1 International Conference on Testing of Communicating Systems, TestCom 2006 ; Conference date: 16-05-2006 Through 18-05-2006",
}