Path testing a program involves generating all paths through the program, and finding a set of program inputs that will execute every path. Since it is impossible to cover all paths in a program, path testing can be relaxed by selecting a subset of all executable paths that fulfill a certain path selection criterion and finding test data to cover it. The automatic generation of such test paths ...

Despite its success in the software industry, Software-as-a-Service (SaaS) still struggles with fulfilling customer expectations regarding service quality. To contain customer churn rates to low levels, SaaS providers have to address their service quality weak spots and find out which factors are crucial for continued SaaS usage. Drawing on previous service quality literature, we develop a Zone...

BACKGROUND The virulence of a pathogenic Vibrio cholerae is dependent on a discrete set of genetic determinants. In this study, we determined the distribution of virulence determinants among the clinical and environmental isolates of V. cholerae. METHODS The antibiotic resistance profiles of the isolates were determined using standard disk diffusion assay. PCR assay was performed to analyze t...

Vibrio cholerae O1 is the causative agent of cholera with classical and El Tor, two well-established biotypes. In last 20 years, hybrid strains of classical and El Tor and variant El Tor which carry classical ctxB have emerged worldwide. In 2004-2005, Senegal experienced major cholera epidemic with a number of cases totalling more than 31719 with approximately 458 fatal outcomes (CFR, 1.44%). I...

Cholera outbreaks occur each year in the remote coastal areas of Bangladesh and epidemiological surveillance and routine monitoring of cholera in these areas is challenging. In this study, a total of 97 Vibrio cholerae O1 isolates from Mathbaria, Bangladesh, collected during 2010 and 2014 were analyzed for phenotypic and genotypic traits, including antimicrobial susceptibility. Of the 97 isolat...

Logics and model-checking have been successfully used in the last decades for modeling and verification of various types of hardware (and software) systems. While most languages and techniques emerged in a context of monolithic systems with a limited self-adaptability, modern systems require approaches able to cope with dynamically changing requirements and emergent behaviors. The emphasis on s...

Despite the need to better understand how customers of Software-as-a-Service (SaaS) solutions perceive the quality of these software services and how these perceptions influence SaaS adoption and use, there is no extant measure that comprehensively captures service quality evaluations in SaaS. Based on previous SERVQUAL and SaaS literature, field interviews and focus groups, a card-sorting exer...

Current methods of analyzing EPR spectra of spin-labeled muscle fibers allow the determination of spin-label orientation within the fiber, rather than the orientation of the myosin head itself. In order to describe the orientational distribution of spin labeled myosin heads within the muscle fibers, the orientation of the spin label within the myosin head must be known. The iodoacetamide label ...

Escherichia coli heat-stable toxin b (STb) causes diarrhea in animals. STb binds to sulfatide, its receptor, and is then internalized. In the cytoplasm, through a cascade of events, STb triggers the opening of ion channels, allowing ion secretion and water loss and leading to diarrhea. Tight junctions (TJs) are well known for controlling paracellular traffic of ions and water by forming a physi...

In this study, a total of 54 Vibrio alginolyticus strains were analyzed. The isolates were recovered from different compartments of the Ruditapes decussatus hatchery in the National Institute of Marine Sciences and Technologies, Monastir, Tunisia. All isolates were biochemically identified (API 20E and API ZYM strips), characterized by amplification of the Hsp-40 gene polymerase chain reaction ...