Glass-box testing tries to cover paths through the tested code, based on a given criterion such as def-use chain coverage. When generating glass-box test cases manually, the user is likely to overlook some def-use chains. Moreover it is difficult to find suitable test cases which cause certain def-use chains to be passed. We have developed a tool which automatically generates a system of test c...

Delayed Ettringite Formation (DEF), is one of the different Internal Sulfate Attack (ISA), a slow chemical reaction that can be responsible for degradation cementitious materials, through swelling material followed by crack diffusion in structure. The objective this study experimental characterization at local scale (10 x 10 30 mm3 samples) concrete reached DEF. composite samples, consist 15 mm...

This note illustrates theoretical worst-case scenarios for groundness analyses obtained through abstract interpretation over the abstract domains of definite (Def) and positive (Pos) Boolean functions. For Def, an example is given for which any Def-based abstract interpretation for groundness analysis follows a chain which is exponential in the number of argument positions as well as in the num...

New regulations by the California Air Resources Board (CARB) demand a stringent 0.02 g/hp-hr tailpipe NO x limit year 2027, requiring Selective Catalytic Reduction (SCR) catalysts to provide high conversions even at low (below 200°C) exhaust temperatures. This work describes utilizing an Electrically Heated Mixer System (EHM system) upstream of Light-Off (LO-SCR) catalyst followed conventional ...

The r-Hofstadter triangle and the (1 − r)-Hofstadter triangle are proved perspective, and homogeneous trilinear coordinates are found for the perspector. More generally, given a triangle DEF inscribed in a reference triangle ABC, triangles A′B′C′ and A′′B′′C′′ derived in a certain manner from DEF are perspective to each other and to ABC. Trilinears for the three perspectors, denoted by P ∗, P1,...

Seoul Clinical Laboratories began screening newborns and high risk group blood spots with tandem mass spectrometry (MS/MS) in April 2001. The goal was to determine approximate prevalence of metabolic disorders and optimization of decision criteria for estimation of preventive effect with early diagnosis. Approximately 44,300 neonates and children were screened and the estimated prevalence (newb...

the linear multiobjective transportation problem is a special type of vector minimum problem in which constraints are all equality type and the objectives are conicting in nature. this paper presents an application of fuzzy goal programming to the linear multiobjective transportation problem. in this paper, we use a special type of nonlinear (hyperbolic and exponential) membership functions to ...

In this paper Y denotes a non empty set. Let k, l be elements of Boolean. The functor k ⇒ l is defined by: (Def. 1) k ⇒ l = ¬k ∨ l. The functor k ⇔ l is defined as follows: (Def. 2) k ⇔ l = ¬(k ⊕ l). Let k, l be elements of Boolean. The predicate k ⋐ l is defined by: (Def. 3) k ⇒ l = true. Let us note that the predicate k ⋐ l is reflexive. One can prove the following three propositions: (1) For...