The potential applications for genetic testing are immense, with most diseases having some aspect influenced by, if not directly caused by, changes in the genome of the patient. The translation of genetic information into medical applications will be influenced by our understanding of the human genome, technological advances, and social, ethical, and legal issues surrounding genetic testing. Wi...

Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol specifications. Although a practical case study of web-server testing has been conducted, we observed several issues when applying this method in a large industrial project. In this paper, we discuss the foundations, tec...

Testing concurrent systems requires exploring all possible non-deterministic interleavings that the concurrent execution may have, as any of the interleavings may reveal erroneous behaviour. This introduces a new problem: the well-known state space problem, which is often computationally intractable. In the present thesis, this issue will be addressed through: (1) the development of new Partial...

Performing test case generation by symbolic execution on large programs becomes quickly impracticable due to the path explosion problem. A common limitation that this problem poses is the generation of unnecessarily large number of possibly irrelevant or redundant test cases even for medium-size programs. Tackling the path explosion problem and selecting high quality test cases are considered m...

This paper presents an approach to calculate the equivalent stray capacitance (SC) of n-turn of the helical flux compression generator (HFCG) coil with multi layer conductor wire filaments (MLCWF) in the form of rectangular cross-section. This approach is based on vespiary regular hexagonal (VRH) model. In this method, wire filaments of the generator coil are separated into many very small simi...

Participants in recent discussions of AI-related issues ranging from intelligence explosion to technological unemployment have made diverse claims about the nature, pace, and drivers of progress in AI. However, these theories are rarely specified in enough detail to enable systematic evaluation of their assumptions or to extrapolate progress quantitatively, as is often done with some success in...

On 12 August 2000 two explosions damaged the Russian submarine, the Kursk. The largest event was well recorded at seismic networks in northern Europe, which we then modeled. We developed a hybrid method based on generalized ray theory that treats an explosive source embedded in a fluid and recorded along continental paths. Matching record sections of observations with synthetics, we obtain an e...