Test documentation is needed not only to assess the extent and quality of a test but also to assess the productivity of testers and to tie the test to the software architecture. Decision makers and auditors need test documentation to decide whether to release a version or not. Maintainers need test documentation to see how changes can be tested. Testers need test documents to help them identify...

MOTIVATION The CloneIt program searches for sub-cloning strategies, in-frame deletions and frameshifts within a plasmid sequence. AVAILABILITY The program, written in ANSI-C language, is available at http://locus.jouy.inra.fr/soft/cloneit/clonei t.html CONTACT [email protected]

Wolverine is a software verifier that checks safety properties of sequential ANSI-C and C++ programs, deploying Craig interpolation to derive program invariants. We describe the underlying approach and the architecture, and provide instructions for installation and usage.

ESBMC is a context-bounded symbolic model checker for singleand multi-threaded ANSI-C code. It converts the verification conditions using different background theories and passes them directly to an SMT solver.

This study evaluates four databases from PhysioNet: The American Heart Association database (AHADB), Creighton University Ventricular Tachyarrhythmia database (CUDB), MIT-BIH Arrhythmia database (MITDB), and MIT-BIH Noise Stress Test database (NSTDB). The ANSI/AAMI EC57:2012 is used for the evaluation of the algorithms for the supraventricular ectopic beat (SVEB), ventricular ectopic beat (VEB)...

OBJECTIVES The purpose of this study was to investigate musculoskeletal symptom prevalence in university hospital nurses and explore the relation between musculoskeletal symptom prevalence and work related factors. METHODS A structured questionnaire was conducted with 620 nurses in a university hospital to look into the characters of responsibility and musculoskeletal symptom prevalence. The ...

Wireless Standards such as ANSI-41 and WIN are dynamic in nature, continuously evolving to meet subscriber requirements with ever shorter intervals for standards development. The current timelines at which a new version of the specification is to be completed to the needed level of precision, quality and completeness cannot be accommodated using existing specification techniques. A key assumpti...

As an alternative source of renewable energy that has piqued researchers’ interest, Microbial Fuel Cell’s (MFC) limitation low power density requires further development. Various factors affect the performance, but performing all will be costly and time-consuming. Through a combination dynamic steady-state mathematical model modified from past research, effect microbe types towards biofilm form...

Abstract Significant advances in deep learning techniques have made it possible to offer technologically advanced methods detect cardiac abnormalities. In this study, we proposed a new based Restricted Boltzmann machine (RBM) model for the classification of arrhythmias from Electrocardiogram (ECG) signal. The work is divided into three phases where, first phase, signal processing performed, inc...