Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Effect of bench press exercise intensity on muscle soreness and inflammatory mediators

This study compared four different intensities of a bench press exercise for muscle soreness, creatine kinase activity, interleukin (IL)-1, IL-6, tumor necrosis factor- (TNF-), and prostaglandin E2 (PGE2) concentrations in the blood. Thirty-five male Brazilian Army soldiers were randomly assigned to one of five groups: 50% one-repetition maximum (1-RM), 75% 1-RM, 90% 1-RM, 110% 1-RM, and a control group that did not perform the exercise. The total volume (setsrepetitionsload) of the exercise was matched among the exercise groups. Muscle soreness and plasma creatine kinase activity increased markedly (P0.05) after exercise, with no significant differences among the groups. Serum PGE2 concentration also increased markedly (P0.05) after exercise, with a significantly (P0.05) greater increase in the 110% 1-RM group compared with the other groups. A weak but significant (P0.05) correlation was found between peak muscle soreness and peak PGE2 concentration, but no significant correlation was evident between peak muscle soreness and peak creatine kinase activity, or peak creatine kinase activity and peak PGE2 concentration. All groups showed no changes in IL-1, IL-6 or TNF-. Our results suggest that the intensity of bench press exercise does not affect the magnitude of muscle soreness and blood markers of muscle damage and inflammation.

Neuromuscular activity during bench press exercise performed with and without the preexhaustion method

Brennecke, A, Guimaraees, TM, Leone, R, Cadarci, M, Mochizuki, L, Simao, R, Amadio, AC, and Serrao, J. Neuromuscular activity during bench press exercise performed with and without the preexhaustion method. J Strength Cond Res 23(7): 1933-1940, 2009-The purpose of the present study was to investigate the effects of exercise order on the tonic and phasic characteristics of upper-body muscle activity during bench press exercise in trained subjects. The preexhaustion method involves working a muscle or a muscle group combining a single-joint exercise immediately followed by a multi-joint exercise (e. g., flying exercise followed by bench press exercise). Twelve subjects performed 1 set of bench press exercises with and without the preexhaustion method following 2 protocols (P1-flying before bench press; P2-bench press). Both exercises were performed at a load of 10 repetition maximum (10RM). Electromyography (EMG) sampled at 1 kHz was recorded from the pectoralis major (PM), anterior deltoid (DA), and triceps brachii (TB). Kinematic data (60 Hz) were synchronized to define upward and downward phases of exercise. No significant (p > 0.05) changes were seen in tonic control of PM and DA muscles between P1 and P2. However, TB tonic aspect of neurophysiologic behavior of motor units was significantly higher (p < 0.05) during P1. Moreover, phasic control of PM, DA, and TB muscles were not affected (p > 0.05). The kinematic pattern of movement changed as a result of muscular weakness in P1. Angular velocity of the right shoulder performed during the upward phase of the bench press exercise was significantly slower (p < 0.05) during P1. Our results suggest that the strategies set by the central nervous system to provide the performance required by the exercise are held constant throughout the exercise, but the tonic aspects of the central drive are increased so as to adapt to the progressive occurrence of the neuromuscular fatigue. Changes in tonic control as a result of the muscular weakness and fatigue can cause changes in movement techniques. These changes may be related to limited ability to control mechanical loads and mechanical energy transmission to joints and passive structures.

Improved Bioprocess with CHO-hTSH Cells on Higher Microcarrier Concentration Provides Higher Overall Biomass and Productivity for rhTSH

Since the recombinant thyroid-stimulating hormone (rhTSH) is secreted by stably transfected Chinese hamster ovary (CHO-hTSH) cells, a bioprocess consisting of immobilizing the cells on a substrate allowing their multiplication is very suitable for rhTSH recovering from supernatants at relative high degree of purity. In addition, such a system has also the advantage of easily allowing delicate manipulations of culture medium replacement. In the present study, we show the development of a laboratory scale bioprocess protocol of CHO-hTSH cell cultures on cytodex microcarriers (MCs) in a 1 L bioreactor, for the preparation of rhTSH batches in view of structure/function studies. CHO-hTSH cells were cultivated on a fetal bovine serum supplemented medium during cell growth phase. For rhTSH synthesis phase, 75% of supernatant was replaced by animal protein-free medium every 24 h. Cell cultures were monitored for agitation (rpm), temperature (A degrees C), dissolved oxygen (% DO), pH, cell concentration, MCs coverage, glucose consumption, lactate production, and rhTSH expression. The results indicate that the amount of MCs in the culture and the cell concentration at the beginning of rhTSH synthesis phase were crucial parameters for improving the final rhTSH production. By cultivating the CHO-hTSH cells with an initial cell seeding of four cells/MC on 4 g/L of MCs with a repeated fed batch mode of operation at 40 rpm, 37 A degrees C, 20% DO, and pH 7.2 and starting the rhTSH synthesis phase with 3 x 10(6) cells/mL, we were able to supply the cultures with enough glucose, to maintain low levels of lactate, and to provide high percent (similar to 80%) of fully covered MCs for a long period (5 days) and attain a high cell concentration (similar to 9 x 10(5) cells/mL). The novelty of the present study is represented by the establishment of cell culture conditions allowing us to produce similar to 1.6 mg/L of rhTSH in an already suitable degree of purity. Batches of produced rhTSH were purified and showed biological activity.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Skin Coverage of the Middle-Distal Segment of the Leg With a Pedicled Perforator Flap

Objective: This is a clinical study of our experience using pedicle perforator flaps to cover skin defects in the middle and distal segment of the leg. Design: Prospective study. Setting: University hospital. Patients/Intervention: Twenty-four patients underwent treatment of a skin defect in the middle or distal segment of the leg by means of pedicled flaps based on perforating arteries. The perforating arteries were located before the operation by means of echo-Doppler examination. The flaps were planned in propeller fashion (21 cases) and as advancement (three cases). Main Outcome Measurements: The results were evaluated according the origin of perforator flap, size of the flap, and donor area and viability of the flap. The success rate of the echo-Doppler to identify the location of perforator vessel was also evaluated. Results: In nine cases, the perforating vessels originated from the fibular artery, in 10 the posterior tibial artery, and in five the anterior tibial artery. The mean size of the flaps was 5 cm in width by 12 cm in length. The success rate using an echo-Doppler was 87%. The flaps were fully viable in 20 cases and partially viable in four cases. Conclusion: On the basis of these results, it is concluded that perforating flaps are a good choice of treatment for skin losses, especially in the distal segment of the leg, and could be an alternative option for the use of free microsurgical flaps.

AIDS in Latin America: assessing the current status of the epidemic and the ongoing response

Background This article provides a summary of the current status of the HIV/AIDS epidemic in Latin America, as well as an outline of the diverse responses to it. Methods A search of international databases (Pubmed and ISI-Web of Science), regional databases (Scielo and Lilacs), regional and national documents and UNAIDS reports. Data are presented according to subregion. Results In Mexico HIV remains concentrated among urban men who have sex with men (MSM), and has been growing among injecting drug users (IDU) and in rural areas in relation to migration. An increasing proportion of women among those affected is observed in all countries in Central America, the most affected region, as well as increasing the impact on other vulnerable groups, such as indigenous populations. The Andean Countries have urban epidemics concentrated among MSM. In Peru, non-traditional vulnerable populations were identified. In the Southern Cone heterosexual transmission became more relevant, probably in connection with IDU epidemics and is increasingly affecting lower income groups. Incidence rates have been declining since 2002 in Brazil, the first country to guarantee free, universal access to antiretrovirals, where one-third of drug-nave patients are still initiating treatment at an advanced stage. Generally, access to treatment has improved as a result of support from the Global Fund and other initiatives, but there are concerns regarding coverage, equity and sustainability. Conclusions HIV is still concentrated among MSM in Latin America. Non-traditional vulnerable groups such as migrants and lower income populations, usually considered part of the general population, deserve attention. Programmes confronting sexual exclusion are still needed. Access to treatment has improved over time, but inequalities persist.

The Versatile Adani`s Flap for Fingertip Coverage Indications and Case Reports

Heterodigital pedicle flaps have 2 possible patters of vascularization: anterograde flow (Littler) or reverse flow (Adani). The Adani`s flap uses the Y-V pedicle lengthening principle. The flap is raised from the adjacent uninjured finger based on the digital artery. The common digital artery is ligated and a long pedicle is formed from the 2 converging digital arteries to supply a reverse flow flap. Four patients with severe fingertips injuries were submitted to surgical treatment with the Adani`s flap. All flaps integrated and provided skin coverage. The Adani`s flap has a long vascular pedicle that allows a wide arch of transposition. An easier vascular dissection in a site distant from the trauma which evolves a higher diameter digital artery and proximal interphalangeal arterial system promotes a high survival rate and good functional results. Adani`s flap is a reliable technique for severe fingertip injuries.

COMBINATION OFGENERAL AND SPECIFICWARM-UPS IMPROVES LEG-PRESS ONE REPETITION MAXIMUM COMPARED WITH SPECIFIC WARM-UP IN TRAINED INDIVIDUALS

Abad, CCC, Prado, ML, Ugrinowitsch, C, Tricoli, V, and Barroso, R. Combination of general and specific warm-ups improves leg-press one repetition maximum compared with specific warm-up in trained individuals. J Strength Cond Res 25(8): 2242-2245, 2011-Accurate assessment of muscular strength is critical for exercise prescription and functional evaluation. The warm-up protocol may affect the precision of the 1 repetition maximum (1RM) test. Testing guidelines recommend performing both general and specific warm-ups before strength tests. The general warm-up intends to raise muscle temperature, whereas the specific warm-up aims to increase neuromuscular activation. Although there is scientific evidence for performing the specific warm-up, the effects of general warm-up on strength tests are still unclear. The purpose of this study was to investigate whether the combination of a general with a specific warm-up (G + SWU) protocol would improve leg press 1RM values compared with a specific warm-up (SWU) protocol. Thirteen participants were tested for leg-press 1RM under 2 warm-up conditions. In the first condition, participants performed the SWU only, which was composed of 1 set of 8 repetitions at approximately 50% of the estimated 1RM followed by another set of 3 repetitions at 70% of the estimated 1RM. In the second condition (G + SWU), participants performed the 1RM test after a 20-minute general warm-up on a stationary bicycle at 60% of HRmax and the same specific warm-up as in the SWU. Values of 1RM in SWU and in G + SWU were compared by a paired t-test, and significance level was set at p <= 0.05. Strength values were on average 8.4% (p = 0.002) higher in the G + SWU compared with the SWU. These results suggest that the G + SWU induced temperature-dependent neuromuscular adjustments that increased muscle force production capacity. Therefore, these results support the recommendations of the testing guidelines to perform a moderate intensity general warm-up in addition to the specific warm-up before maximum strength assessments.

ELECTROMYOGRAPHIC AMPLITUDE RATIO OF SERRATUS ANTERIOR AND UPPER TRAPEZIUS MUSCLES DURING MODIFIED PUSH-UPS AND BENCH PRESS EXERCISES

Imbalance and weakness of the serratus anterior and upper trapezius force couple have been described in patients with shoulder dysfunction. There is interest in identifying exercises that selectively activate these muscles and including it in rehabilitation protocols. This study aims to verify the UT/SA electromyographic (EMG) amplitude ratio, performed in different upper limb exercises and on two bases of support. Twelve healthy men were tested (average age = 22.8 +/- 3.1 years), and surface EMG was recorded from the upper trapezius and serratus anterior using single differential surface electrodes. Volunteers performed isometric contractions over a stable base of support and on a Swiss ball during the wall push-up (WP), bench press (BP), and push-up (PU) exercises. All SEMG data are reported as a percentage of root mean square or integral of linear envelope from the maximal value obtained in one of three maximal voluntary contractions for each muscle studied. A linear mixed-effect model was performed to compare UT/SA ratio values. The WP, BP, and PU exercises showed UT/SA ratio mean +/- SD values of 0.69 +/- 0.72, 0.14 +/- 0.12, and 0.39 +/- 0.37 for stable surfaces, respectively, whereas for unstable surfaces, the values were 0.73 +/- 0.67, 0.43 +/- 0.39, and 0.32 +/- 0.30. The results demonstrate that UT/SA ratio was influenced by the exercises and by the upper limb base of support. The practical application is to show that BP on a stable surface is the exercise preferred over WP and PU on either surfaces for serratus anterior muscle training in patients with imbalance between the UT/SA force couple or serratus anterior weakness.

Activation of Selected Shoulder Muscles During Unilateral Wall and Bench Press Tasks Under Submaximal Isometric Effort

STUDY DESIGN: Controlled laboratory study. OBJECTIVE: To assess the activation of 7 shoulder muscles under 2 closed kinetic chain (CKC) tasks for the upper extremity using submaximal isometric effort, thus providing relative quantification of muscular isometric effort for these muscles across the CKC exercises, which may be applied to rehabilitation protocols for individuals with shoulder weakness. BACKGROUND: CKC exercises favor joint congruence, reduce shear load, and promote joint dynamic stability. Additionally, knowledge about glenohumeral and periscapular muscle activity elicited during CKC exercises may help clinicians to design protocols for shoulder rehabilitation. METHODS: Using surface electromyography, activation level was measured across 7 shoulder muscles in 20 healthy males, during the performance of a submaximal isometric wall press and bench press. Signals were normalized to the maximal voluntary isometric contraction, and, using paired t tests, data were analyzed between the exercises for each muscle. RESULTS: Compared to the wall press, the bench press elicited higher activity for most muscles, except for the upper trapezius. Levels of activity were usually low but were above 20% maximal voluntary isometric contraction for the serratus anterior on both tasks, and for the long head triceps brachii on the bench press. CONCLUSIONS: Both the bench press and wall press, as performed in this study, led to relatively low EMG activation levels for the muscles measured and may be considered for use in the early phases of rehabilitation. J Ort hop Sports Phys Ther 2011;41(7):520-525, Epub 2 February 2011. doi:10.2519/jospt.2011.3418

Subepithelial connective tissue graft for root coverage in smokers and non-smokers: A clinical and histologic controlled study in humans

Background: The aim of this study was to evaluate root coverage of gingival recessions and to compare graft vascularization in smokers and non-smokers. Methods: Thirty subjects, 15 smokers and 15 non-smokers, were selected. Each subject had one Miller Class I or II recession in a non-molar tooth. Clinical measurements of probing depth (PD), relative clinical attachment level (CAL), gingival recession (GR), and width of keratinized tissue (KT) were determined at baseline and 3 and 6 months after surgery. The recessions were treated surgically with a coronally positioned flap associated with a subepithelial connective tissue graft. A small portion of this graft was prepared for immunohistochemistry. Blood vessels were identified and counted by expression of factor VIII-related antigen-stained endothelial cells. Results: Intragroup analysis showed that after 6 months there a was gain in CAL, a decrease in GR, and an increase in KT for both groups (P<0.05), whereas changes in PD were not statistically significant. Smokers had less root coverage than non-smokers (58.02% +/- 19.75% versus 83.35% +/- 18.53%; P<0.05). Furthermore, the smokers had more GR (1.48 +/- 0.79 mm versus 0.52 +/- 0.60 mm) than the nonsmokers (P<0.05). Histomorphometry of the donor tissue revealed a blood vessel density of 49.01 +/- 11.91 vessels/200x field for non-smokers and 36.53 +/- 10.23 vessels/200x field for smokers (P<0.05). Conclusion: Root coverage with subepithelial connective tissue graft was negatively affected by smoking, which limited and jeopardized treatment results.

Comparison between two surgical techniques for root coverage with an acellular dermal matrix graft

Aim: The aim of this randomized, controlled, clinical study was to compare two surgical techniques with the acellular dermal matrix graft (ADMG) to evaluate which technique could provide better root coverage. Material and Methods: Fifteen patients with bilateral Miller Class I gingival recession areas were selected. In each patient, one recession area was randomly assigned to the control group, while the contra-lateral recession area was assigned to the test group. The ADMG was used in both groups. The control group was treated with a broader flap and vertical-releasing incisions, and the test group was treated with the proposed surgical technique, without releasing incisions. The clinical parameters evaluated before the surgeries and after 12 months were: gingival recession height, probing depth, relative clinical attachment level and the width and thickness of keratinized tissue. Results: There were no statistically significant differences between the groups for all parameters at baseline. After 12 months, there was a statistically significant reduction in recession height in both groups, and there was no statistically significant difference between the techniques with regard to root coverage. Conclusions: Both surgical techniques provided significant reduction in gingival recession height after 12 months, and similar results in relation to root coverage.

Comparing finite state machine test coverage criteria

To plan testing activities, testers face the challenge of determining a strategy, including a test coverage criterion that offers an acceptable compromise between the available resources and test goals. Known theoretical properties of coverage criteria do not always help and, thus, empirical data are needed. The results of an experimental evaluation of several coverage criteria for finite state machines (FSMs) are presented, namely, state and transition coverage; initialisation fault and transition fault coverage. The first two criteria focus on FSM structure, whereas the other two on potential faults in FSM implementations. The authors elaborate a comparison approach that includes random generation of FSM, construction of an adequate test suite and test minimisation for each criterion to ensure that tests are obtained in a uniform way. The last step uses an improved greedy algorithm.

A pointcut-based coverage analysis approach for aspect-oriented programs

Aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Del-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach. (C) 2010 Elsevier Inc. All rights reserved.