Angler Perception and Population Dynamics of the Northern Snakehead (Channa argus) in the Potomac River & Tributaries

Our research sought to address the extent to which the northern snakehead (Channa argus), an invasive fish species, represents a threat to the Potomac River ecosystem. The first goal of our research was to survey the perceptions and opinions of recreational anglers on the effects of the snakehead population in the Potomac River ecosystem. To determine angler perceptions, we created and administered 113 surveys from June – September 2014 at recreational boat ramps along the Potomac River. Our surveys were designed to expand information collected during previous surveys conducted by the U.S. Fish and Wildlife Service. Our results indicated recreational anglers perceive that abundances and catch rates of target species, specifically largemouth bass, have declined since snakehead became established in the river. The second goal of our research was to determine the genetic diversity and potential of the snakehead population to expand in the Potomac River. We hypothesized that the effective genetic population size would be much less than the census size of the snakehead population in the Potomac River. We collected tissue samples (fin clippings) from 79 snakehead collected in a recreational tournament held between Fort Washington and Wilson’s Landing, MD on the Potomac River and from electrofishing sampling conducted by the Maryland Department of Natural Resources in Pomonkey Creek, a tributary of the Potomac River. DNA was extracted from the tissue samples and scored for 12 microsatellite markers, which had previously been identified for Potomac River snakehead. Microsatellite allele frequency data were recorded and analyzed in the software programs GenAlEx and NeEstimator to estimate heterozygosity and effective genetic population size. Resampling simulations indicated that the number of microsatellites and the number of fish analyzed provided sufficient precision. Simulations indicated that the effective population size estimate would expect to stabilize for samples > 70 individual snakehead. Based on a sample of 79 fish scored for 12 microsatellites, we calculated an Ne of 15.3 individuals. This is substantially smaller than both the sample size and estimated population size. We conclude that genetic diversity in the snakehead population in the Potomac River is low because the population has yet to recover from a genetic bottleneck associated with a founder effect due to their recent introduction into the system.

Automated Software Debugging Using Hybrid Static/Dynamic Analysis

With the increasing complexity of today's software, the software development process is becoming highly time and resource consuming. The increasing number of software configurations, input parameters, usage scenarios, supporting platforms, external dependencies, and versions plays an important role in expanding the costs of maintaining and repairing unforeseeable software faults. To repair software faults, developers spend considerable time in identifying the scenarios leading to those faults and root-causing the problems. While software debugging remains largely manual, it is not the case with software testing and verification. The goal of this research is to improve the software development process in general, and software debugging process in particular, by devising techniques and methods for automated software debugging, which leverage the advances in automatic test case generation and replay. In this research, novel algorithms are devised to discover faulty execution paths in programs by utilizing already existing software test cases, which can be either automatically or manually generated. The execution traces, or alternatively, the sequence covers of the failing test cases are extracted. Afterwards, commonalities between these test case sequence covers are extracted, processed, analyzed, and then presented to the developers in the form of subsequences that may be causing the fault. The hypothesis is that code sequences that are shared between a number of faulty test cases for the same reason resemble the faulty execution path, and hence, the search space for the faulty execution path can be narrowed down by using a large number of test cases. To achieve this goal, an efficient algorithm is implemented for finding common subsequences among a set of code sequence covers. Optimization techniques are devised to generate shorter and more logical sequence covers, and to select subsequences with high likelihood of containing the root cause among the set of all possible common subsequences. A hybrid static/dynamic analysis approach is designed to trace back the common subsequences from the end to the root cause. A debugging tool is created to enable developers to use the approach, and integrate it with an existing Integrated Development Environment. The tool is also integrated with the environment's program editors so that developers can benefit from both the tool suggestions, and their source code counterparts. Finally, a comparison between the developed approach and the state-of-the-art techniques shows that developers need only to inspect a small number of lines in order to find the root cause of the fault. Furthermore, experimental evaluation shows that the algorithm optimizations lead to better results in terms of both the algorithm running time and the output subsequence length.