Assembling unit models to perform integration testing often lead to both state explosion and the repeated work of unit testing. To mitigate the above crux, we present a novel integration testing approach, which derives integration test cases from the composition of unit test cases instead of unit models. Thus, the integration testing is performed efficiently and the difficulties of model combin...

We present parts of the speciication of a program to remote control and monitor diierent devices, especially valves, in an explosion test environment. The program was developed within an industrial national project called CATC carried out in PTB, the German federal institute of weights and measures. The CATC information system supports various activities of diierent user groups that are respons...

Motivated by recent models involving off-centre ignition of type Ia supernova explosions, we undertake three-dimensional time-dependent radiation transport simulations to investigate the range of bolometric light curve properties that could be observed from supernovae in which there is a lop-sided distribution of the products from nuclear burning. We consider both a grid of artificial toy model...

What happens when machines become more intelligent than humans? One view is that this event will be followed by an explosion to ever-greater levels of intelligence, as each generation of machines creates more intelligent machines in turn. This intelligence explosion is now often known as the “singularity”. The basic argument here was set out by the statistician I. J. Good in his 1965 article “S...

The information explosion has led to problems and possibilities in many areas of society, including that of law enforcement. In comparing individual criminal investigations on similarity, we seize one of the opportunities of the information surplus to determine what crimes may or may not have been committed by the same group of individuals. For this purpose we introduce a new distance measure t...

Background: Fire and explosion hazards are extremely important in processing units. This study was performed to identify the risk centers, the potential damage caused by fire and explosion, and the days of production cessation in the processing company. Materials and Methods: The present qualitative case study was conducted using Dow’s index in 2015. The fire and explosion hazard index...