Symbolic (Java) PathFinder (SPF) is a symbolic execution tool that is used for the automated generation of test cases that satisfy various coverage criteria, such as condition, path and MC/DC coverage. The tool has been used at NASA, in academia, and in industry, most notably at Fujitsu. We describe our experience with using SPF and we identify some of the challenges for making the tool more us...

The single-photon fluorescence (SPF) of IR125 can be enhanced when the laser polarization changes from linear through elliptical to circular [A. Nag and D. Goswami, J. Chem. Phys. 132, 154508 (2010)]. In this paper, we further explain and discuss the physical control mechanism. Our theoretical and experimental results demonstrate that the SPF enhancement can be attributed to the nonresonant two...

The present study was undertaken to study the sunscreen activity of herbal formulation. There is no evidence of the sun protection factor (SPF) studies on essential oil of Calendula flowers (Calendula officinalis L., Asteraceae). The study investigates the in vitro SPF by ultraviolet specrtophotometry method of Calendula flower oil in a cream formulation. Calendula oil was isolated by Clavenger...

Lung carcinoma is the leading cause of cancer-related mortality worldwide. Therefore, numerous studies are focusing on the assessment of other biological and molecular prognostic factors in these tumors. We evaluated the relationship between 14F7 Mab reactivity, pathological features, DNA-content and S-phase fraction (SPF), and their impact in the survival of NSCLC patients. Hematoxylin and eos...

The Sun Protection Factor (SPF) is the most important data to quantify the effectiveness of a sunscreen, being universally accepted. The method is based on determining the minimum erythematous dose (MED), defined as the smallest amount of energy required for triggering the erythema, in areas of protected and unprotected skin. The SPF value is then calculated as the ratio between the MED of prot...

OBJECTIVE To describe the anatomy of the sphenopalatine foramen (SPF) region and possible anatomical variations. STUDY DESIGN Prospective study accomplished from September, 2006, to January, 2007. METHODS The sphenopalatine foramen (SPF) of 61 cadavers were carefully dissected. Presence of the ethmoidal crest, location of sphenopalatine and accessory foramens, and the number of arterial bra...

Recent reviews of scientific work on subjective well-being (SWB) reveal disagreements in conceptualization, measurement, and explanation of the concept. We propose Social Production Function theory as a framework to resolve them. Social Production Function (SPF) theory integrates strengths of relevant psychological theories and economic consumer/household production theories, without their limi...

The purpose of this study was to develop a specialized Friction Stir Welding process for superplastic grade aluminum alloy 5083-SP and titanium alloy 6Al-4V, in thickness of 1.5 to 4 mm, such that the butt welded nugget would have equal superplastic forming (SPF) characteristics as the parent sheet material The concept of using tailored blanks for the SPF process is proposed which will allow th...

A recombinant attenuated vaccine against infectious bursal disease virus (IBDV) was administered in ovo to 18-day-old embryos. The vaccine was genetically tailored to protect from challenges in the field against classic and variant strains of IBDV. The vaccine virus contains neutralizing epitopes from both classic (D78) and variant strain (GLS), and abrogates expression of the nonstructural pro...

BACKGROUND The mouse strain sparse fur with abnormal skin and hair (spf(ash)) is a model for the human ornithine transcarbamylase (OTC) deficiency, an X-linked inherited urea cycle disorder. The spf(ash) mouse carries a single base-pair mutation in the OTC gene that leads to the production of OTC enzyme at 10% of the normal level. MATERIALS AND METHODS Recombinant adenoviruses carrying either...