The model-based software development process is generally accepted in the automotive and aerospace domain. More or less seamless tool-chains support the model-based approach in order to help improving the functional safety aspects of such processes while keeping the efficiency under growing complexity concerns. In the last decade, fundamental progress and improvements in the area of modelling, ...

Web application testing is concerned with numerous and complicated testing objects, methods and processes. In order to improve the testing efficiency, the automatic and intelligent level of the testing execution should be enhanced. So combined with the specialties of the Web applications, the necessity and feasibility of the automatic and intelligent execution of the Web application testing are...

Developing efficient and automatic testing techniques is one of the major challenges facing software validation community. In this paper, we show how a uniform random generation process of finite automata, developed in a recent work by Bassino and Nicaud, is relevant for many faces of automatic testing. The main contribution is to show how to combine two major testing approaches: model-based te...