Learn More
Mutation testing is a technique for testing software units that has great potential for improving the quality of testing, and thereby increasing our ability to assure the high reliability of critical software. It will be shown that recent advances in mutation research have brought a practical mutation testing system closer to reality. One recent advance is(More)
Using DNA sequences 5' to open reading frames, we have constructed green fluorescent protein (GFP) fusions and generated spatial and temporal tissue expression profiles for 1,886 specific genes in the nematode Caenorhabditis elegans. This effort encompasses about 10% of all genes identified in this organism. GFP-expressing wild-type animals were analyzed at(More)
Test data generation is one of the most technically challenging steps of testing software, but most commercial systems currently incorporate very little automation for this step. This paper presents results from a project that is trying to nd ways to incorporate test data generation into practical test processes. The results include a new procedure for(More)
The localization of proton pumps (H+-ATPase) in gill epithelia of rainbow trout [Oncorhynchus mykiss (Walbaum)] was elucidated by immunofluorescence microscopy, using rabbit polyclonal antibodies against the 70 kDa subunit of H+-ATPase purified from clathrin-coated vesicles of bovine brain. In the gill epithelia of freshwater trout, the immunostaining was(More)
This paper addresses the problem of reducing the size of test sets for regression testing and test output inspection Since regression testing requires the execution of some and in the worst case all test cases reducing the number of tests can have a large bene t Additionally testers generally have to examine the output of each test case both during initial(More)
This paper presents two experimental comparisons of data ow and mutation testing. These two techniques are widely considered to be e ective for unit-level software testing, but can only be analytically compared to a limited extent. We compare the techniques by evaluating the e ectiveness of test data developed for each. For a number of programs, we develop(More)
The molecular mechanisms regulating secretion of the orexigenic-glucoregulatory hormone ghrelin remain unclear. Based on qPCR analysis of FACS-purified gastric ghrelin cells, highly expressed and enriched 7TM receptors were comprehensively identified and functionally characterized using in vitro, ex vivo and in vivo methods. Five Gαs-coupled receptors(More)
Restoration of blood flow following ischemic stroke can be achieved by means of thrombolysis or mechanical recanalization. However, for some patients, reperfusion may exacerbate the injury initially caused by ischemia, producing a so-called “cerebral reperfusion injury”. Multiple pathological processes are involved in this injury, including leukocyte(More)