Yayıncı "Springer-Verlag Berlin" için listeleme
Toplam kayıt 8, listelenen: 1-8
-
Coverage-based, prioritized testing using neural network clustering
(Springer-Verlag Berlin, 2006)Graph-based algorithms are commonly used to automatically generate test cases for coverage-oriented testing of software systems. Because of time and cost constraints, the entire set of test cases generated by those algorithms ... -
Coverage-oriented, prioritized testing - A fuzzy clustering approach and case study
(Springer-Verlag Berlin, 2007)Existing test techniques focus on particular, relevant aspects of the requirements of the system under test (SUT). Real-life SUTs have, however, numerous features to simultaneously be considered, often leading to a large ... -
Hydraulic Head Interpolation in an Aquifer Unit Using ANFIS and Ordinary Kriging
(Springer-Verlag Berlin, 2011)In this study, Ordinary Kriging (OK), and Adaptive Neuro Fuzzy based Inference System (ANFIS) are evaluated for assessing hydraulic head distribution in an aquifer unit covering 40 km(2). Cartesian coordinates of the samples ... -
Hyperpath Centers
(Springer-Verlag Berlin, 2016)Path centers play an important role for several kinds of networks. In this study we present a novel approach to find a path center for a spatial data set modelled as a hypergraph. For this purpose, we first present a simple ... -
Mathematical Morphology on Soft Sets for Application to Metabolic Networks
(Springer-Verlag Berlin, 2015)In this paper, we introduce mathematical morphological operators such as dilation and erosion on soft sets. Rather than the common approach which is based on expressing soft set analogues of the classical theory, we use ... -
Model-Based Higher-Order Mutation Analysis
(Springer-Verlag Berlin, 2010)Mutation analysis is widely used as an implementation-oriented method for software testing and test adequacy assessment. It is based on creating different versions of the software by seeding faults into its source code and ... -
Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case Studies
(Springer-Verlag Berlin, 2009)Man-machine systems have many features that are to be considered simultaneously. Their validation often leads to a large number of tests; due to time and cost constraints they cannot exhaustively be run. It is then essential ... -
REDUCTIONISM IN BIOLOGY: AN EXAMPLE OF BIOCHEMISTRY
(Springer-Verlag Berlin, 2010)In this paper, I argue that the multiple realizability argument against reductionism does not work in biochemistry and that biochemistry as a reductionist project is a progressive research program. Since the anti-reductionist ...