An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

This is the post-print version of the Article - Copyright @ 2011 ElsevierThe extended finite state machine (EFSM) is a modelling approach that has been used to represent a wide range of systems. When testing from an EFSM, it is normal to use a test criterion such as transition coverage. Such test criteria are often expressed in terms of transition paths (TPs) through an EFSM. Despite the popularity of EFSMs, testing from an EFSM is difficult for two main reasons: path feasibility and path input sequence generation. The path feasibility problem concerns generating paths that are feasible whereas the path input sequence generation problem is to find an input sequence that can traverse a feasible path. While search-based approaches have been used in test automation, there has been relatively little work that uses them when testing from an EFSM. In this paper, we propose an integrated search-based approach to automate testing from an EFSM. The approach has two phases, the aim of the first phase being to produce a feasible TP (FTP) while the second phase searches for an input sequence to trigger this TP. The first phase uses a Genetic Algorithm whose fitness function is a TP feasibility metric based on dataflow dependence. The second phase uses a Genetic Algorithm whose fitness function is based on a combination of a branch distance function and approach level. Experimental results using five EFSMs found the first phase to be effective in generating FTPs with a success rate of approximately 96.6%. Furthermore, the proposed input sequence generator could trigger all the generated feasible TPs (success rate = 100%). The results derived from the experiment demonstrate that the proposed approach is effective in automating testing from an EFSM

Beyond foraging: behavioral science and the future of institutional economics

Institutions affect economic outcomes, but variation in them cannot be directly linked to environmental factors such as geography, climate, or technological availabilities. Game theoretic approaches, based as they typically are on foraging only assumptions, do not provide an adequate foundation for understanding the intervening role of politics and ideology; nor does the view that culture and institutions are entirely socially constructed. Understanding what institutions are and how they influence behavior requires an approach that is in part biological, focusing on cognitive and behavioral adaptations for social interaction favored in the past by group selection. These adaptations, along with their effects on canalizing social learning, help to explain uniformities in political and social order, and are the bedrock upon which we build cultural and institutional variability

Renal Function Following Three Distinct Weight Loss Dietary Strategies During 2 Years of a Randomized Controlled Trial

OBJECTIVE This study addressed the long-term effect of various diets, particularly low-carbohydrate high-protein, on renal function on participants with or without type 2 diabetes. RESEARCH DESIGN AND METHODS In the 2-year Dietary Intervention Randomized Controlled Trial (DIRECT), 318 participants (age, 51 years; 86% men; BMI, 31 kg/m2; mean estimated glomerular filtration rate [eGFR], 70.5 mL/min/1.73 m2; mean urine microalbumin-to-creatinine ratio, 12:12) with serum creatinine 0.05) across diet groups. The increased eGFR was at least as prominent in participants with (+6.7%) or without (+4.5%) type 2 diabetes or those with lower baseline renal function of eGFR <60 mL/min/1.73 m2 (+7.1%) versus eGFR ≥60 mL/min/1.73 m2 (+3.7%). In a multivariable model adjusted for age, sex, diet group, type 2 diabetes, use of ACE inhibitors, 2-year weight loss, and change in protein intake (confounders and univariate predictors), only a decrease in fasting insulin (β = −0.211; P = 0.004) and systolic blood pressure (β = −0.25; P < 0.001) were independently associated with increased eGFR. The urine microalbumin-to-creatinine ratio improved similarly across the diets, particularly among participants with baseline sex-adjusted microalbuminuria, with a mean change of −24.8 (P < 0.05). CONCLUSIONS A low-carbohydrate diet is as safe as Mediterranean or low-fat diets in preserving/improving renal function among moderately obese participants with or without type 2 diabetes, with baseline serum creatinine <176 μmol/L. Potential improvement is likely to be mediated by weight loss–induced improvements in insulin sensitivity and blood pressure

Flow cytometry analyses of adipose tissue macrophages

Within adipose tissue, multiple leukocyte interactions contribute to metabolic homeostasis in health as well as to the pathogenesis of insulin resistance with obesity. Adipose tissue macrophages (ATMs) are the predominant leukocyte population in fat and contribute to obesity-induced inflammation. Characterization of ATMs and other leukocytes in the stromal vascular fraction from fat has benefited from the use of flow cytometry and flow-assisted cell sorting techniques. These methods permit the immunophenotyping, quantification, and purification of these unique cell populations from multiple adipose tissue depots in rodents and humans. Proper isolation, quantification, and characterization of ATM phenotypes are critical for understanding their role in adipose tissue function and obesity-induced metabolic diseases. Here, we present the flow cytometry protocols for phenotyping ATMs in lean and obese mice employed by our laboratory

The Morphology of the Expanding Ejecta of V2491 Cygni (2008 N.2)

Determining the evolution of the ejecta morphology of novae provides valuable information on the shaping mechanisms in operation at early stages of the nova outburst. Understanding such mechanisms has implications for studies of shaping for example in proto-Planetary Nebulae. Here we perform morpho-kinematical studies of V2491 Cyg using spectral data to determine the likely structure of the ejecta and its relationship to the central system and shaping mechanisms. We use Shape to model different morphologies and retrieve their spectra. These synthetic spectra are compared with observed spectra to determine the most likely morphology giving rise to them, including system inclination and expansion velocity of the nova ejecta. We find the best fit remnant morphology to be that of polar blobs and an equatorial ring with an implied inclination of 80$^{+3}_{-12}$ degrees and an maximum expansion velocity of the polar blobs of 3100$^{+200}_{-100}$ km/s and for the equatorial ring 2700$^{+200}_{-100}$ km/s. This inclination would suggest that we should observe eclipses which will enable us to determine more precisely important parameters of the central binary. We also note that the amplitude of the outburst is more akin to the found in recurrent nova systems.Comment: 9 pages, 7 figures, accepted for publication in MNRA

Abdominal Superficial Subcutaneous Fat

OBJECTIVE: Unlike visceral adipose tissue (VAT), the association between subcutaneous adipose tissue (SAT) and obesity-related morbidity is controversial. In patients with type 2 diabetes, we assessed whether this variability can be explained by a putative favorable, distinct association between abdominal superficial SAT (SSAT) (absolute amount or its proportion) and cardiometabolic parameters. RESEARCH DESIGN AND METHODS: We performed abdominal magnetic resonance imaging (MRI) in 73 patients with diabetes (mean age 58 years, 83% were men) and cross-sectionally analyzed fat distribution at S1-L5, L5-L4, and L3-L2 levels. Patients completed food frequency questionnaires, and subgroups had 24-h ambulatory blood pressure monitoring and 24-h ambulatory electrocardiography. RESULTS: Women had higher %SSAT (37 vs. 23% in men; P < 0.001) despite a similar mean waist circumference. Fasting plasma glucose (P = 0.046) and HbA1c (P = 0.006) were both lower with increased tertile of absolute SSAT. In regression models adjusted for age, waist circumference, and classes of medical treatments used in this patient population, increased %SSAT was significantly associated with decreased HbA1c (β = −0.317; P = 0.013), decreased daytime ambulatory blood pressure (β = −0.426; P = 0.008), and increased HDL cholesterol (β = 0.257; P = 0.042). In contrast, increased percent of deep SAT (DSAT) was associated with increased HbA1c (β = 0.266; P = 0.040) and poorer heart rate variability parameters (P = 0.030). Although total fat and energy intake were not correlated with fat tissue distribution, increased intake of trans fat tended to be associated with total SAT (r = 0.228; P = 0.05) and DSAT (r = 0.20; P = 0.093), but not with SSAT. CONCLUSIONS: Abdominal SAT is composed of two subdepots that associate differently with cardiometabolic parameters. Higher absolute and relative distribution of fat in abdominal SSAT may signify beneficial cardiometabolic effects in patients with type 2 diabetes

Parental diabetes status reveals association of mitochondrial DNA haplogroup J1 with type 2 diabetes

<p>Abstract</p> <p>Background</p> <p>Although mitochondrial dysfunction is consistently manifested in patients with Type 2 Diabetes mellitus (T2DM), the association of mitochondrial DNA (mtDNA) sequence variants with T2DM varies among populations. These differences might stem from differing environmental influences among populations. However, other potentially important considerations emanate from the very nature of mitochondrial genetics, namely the notable high degree of partitioning in the distribution of human mtDNA variants among populations, as well as the interaction of mtDNA and nuclear DNA-encoded factors working in concert to govern mitochondrial function. We hypothesized that association of mtDNA genetic variants with T2DM could be revealed while controlling for the effect of additional inherited factors, reflected in family history information.</p> <p>Methods</p> <p>To test this hypothesis we set out to investigate whether mtDNA genetic variants will be differentially associated with T2DM depending on the diabetes status of the parents. To this end, association of mtDNA genetic backgrounds (haplogroups) with T2DM was assessed in 1055 Jewish patients with and without T2DM parents ('DP' and 'HP', respectively).</p> <p>Results</p> <p>Haplogroup J1 was found to be 2.4 fold under-represented in the 'HP' patients (p = 0.0035). These results are consistent with a previous observation made in Finnish T2DM patients. Moreover, assessing the haplogroup distribution in 'DP' versus 'HP' patients having diabetic siblings revealed that haplogroup J1 was virtually absent in the 'HP' group.</p> <p>Conclusion</p> <p>These results imply the involvement of inherited factors, which modulate the susceptibility of haplogroup J1 to T2DM.</p