In this thesis, the overall conclusion is that combination strategies, (i.e., test case selection methods that manage the combinatorial explosion of possible things to test), can improve the software testing in most organizations. The research underlying this thesis emphasizes relevance by working in close relationship with industry. Input parameter models of test objects play a crucial role fo...

The challenge this thesis addresses is to speed up the development of concurrent programs by increasing the efficiency with which concurrent programs can be tested and consequently evolved. The goal of this thesis is to generate methods and tools that help software engineers increase confidence in the correct operation of their programs. To achieve this goal, this thesis advocates testing of co...

Flameless venting is a sort of dual mitigation technique allowing, in principle, to vent process vessel inside building where people are working without transmitting flame outside the protected vessel. Existing devices an assembly panel and metal filter so that exploding cloud front forced go through filter. Within frame ATEX Directive, those systems need be certified. To do standard (NF EN 160...

This paper discusses the concept of big data mining in the domain of biology and medicine. Biological and medical data are increasing at very rapid rates, which in many cases outpace even Moore’s law. This is the result of recent technological development, as well as the exploratory attitude of human beings, that prompts scientists to answer more questions by conducting more experiments. Repres...

Optimal sensor distribution in explosion testing is important in saving test costs and improving experiment efficiency. Aiming at travel time tomography in an explosion, an optimizing method in sensor distribution is proposed to improve the inversion stability. The influence factors of inversion stability are analyzed and the evaluating function on optimizing sensor distribution is proposed. Th...