The length of test cases is a little investigated topic in search-based test generation for object-oriented software, where test cases are sequences of method calls. While intuitively longer tests can achieve higher overall code coverage, there is always the threat of bloat – a complex phenomenon in evolutionary computation, where the length abnormally grows over time. In this paper, we show th...

Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search for a counter example in executions whose length is bounded by some integer k. The BMC problem can be e ciently reduced to a propositional satis ability problem, and can therefore be solved by SAT methods rather than BDDs. SAT pr...

This paper describes a method for specification-based class testing that incorporates test case generation, execution, and evaluation based on formal specifications. This work builds on previous achievements in the areas of specification-based testing and class testing by integrating the two within a single framework. The initial step of the method is to generate test templates for individual o...

Different industries are usually faced with computer color matching as an important problem. The most famous formula which is commonly used for recipe prediction is based on Kubelka-Munk K-M theory. Considering that spectrophotometer’s geometry and its situation influence the measured spectral values, the performance of this method can be affected by the instrument. In the present study, three ...

abstract background and objective: c- reactive protein (crp), as an acute phase reactant and a reliable marker of inflammation, increases due to inflammatory diseases such as rheumatoid arteritis and infectious conditions. new evidence shows that vitamin d may have important effects on adjusting and reducing the immune responses. the aim of this study was to evaluate the association between ser...

Determining the induced L2 norm of a linear, parameter-varying (LPV) system is an integral part of many analysis and robust control design procedures. Most prior work has focused on efficiently computing upper bounds for the induced L2 norm. The conditions for upper bounds are typically based on scaled smallgain theorems with dynamic multipliers or dissipation inequalities with parameter depend...

Cartesian trees are binary search trees in which the nodes exhibit the heap property according to a second (priority) key. lithe search key and the priority key are independent, and the tree is built . based on n independent copies, Cartesian trees basically behave like ordinary random binary search trees . In this article, we analyze the expected behavior when the keys are dependent : in most ...

For numerical simulations to be e;ective tools in plasma propulsion research, a high-order accurate solver that captures MHD shocks monotonically and works reliably for strong magnetic =elds is needed. For this purpose, a characteristics-based scheme for the MHD equations, with "ux limiters to improve spatial accuracy, has been developed. In this method, the symmetric form of the MHD equations,...