61. Caddisfly (Trichoptera) larvae distribution in the Maple River.Caddisfly (Trichoptera) larvae distribution in the Maple River.

Caddisflies of the three superfamilies, Spicipalpia, Integripalpia, and Annulipalpia, produce cases during an aquatic larval stage to aid in their growth and development. The distribution of these cas...

62. Oak Forests, Lopping, and the Transformation of Rural Society in Central Himalaya, India.Oak Forests, Lopping, and the Transformation of Rural Society in Central Himalaya, India.

Villagers are blamed for degrading the forest by lopping oak branches for fodder in the Central Himalayan region of India. Yet, research is lacking on the direct relationship between peoples’ liveliho...

63. Covering Congress: Media Effects on Evaluations of the Legislative Branch

This project takes an in-depth look at the role that media coverage of both individual members of Congress and Congress as a whole plays in shaping approval of legislators and the legislative branch. ...

64. Generation of RTL verification input stimulus

This thesis presents an approach for generating input stimulus for verification of register-transfer level (RTL) design of VLSI circuits. RTL design is often subjected to a significant verification ef...

65. Branch-coverage testability transformation for unstructured programs

Test data generation by hand is a tedious, expensive and error-prone activity, yet testing is a vital part of the development process. Several techniques have been proposed to automate the generation ...

66. Three-year follow-up of 100 consecutive bifurcation lesions treated with taxus stents and the Crush-T stent techniqueThree-year follow-up of 100 consecutive bifurcation lesions treated with taxus stents and the Crush-T stent technique

Introduction A simple provisional side-branch stenting strategy is favoured over a more complex approach in the majority of bifurcation lesions. In the subset of lesions that require a t...

67. SNP detection and genotyping from low-coverage sequencing data on multiple diploid samplesSNP detection and genotyping from low-coverage sequencing data on multiple diploid samples

Reductions in the cost of sequencing have enabled whole-genome sequencing to identify sequence variants segregating in a population. An efficient approach is to sequence many samples at low coverage, ...

68. Rapid and complete coronary arterial tree visualization with magnetic resonance imaging: feasibility and diagnostic performanceRapid and complete coronary arterial tree visualization with magnetic resonance imaging: feasibility and diagnostic performance

Aims Current imaging of the coronary arteries with magnetic resonance coronary angiography (MRCA) is restricted to limited coverage of the coronary arterial tree and requires complex planning. ...

69. A Strategy for using Genetic Algorithms to Automate Branch and Fault-based Testing

Genetic algorithms have been used successfully to generate software test data automatically; all branches were covered with substantially fewer generated tests than simple random testing. We generated...

70. Genome-wide analyses identify transcription factors required for proper morphogenesis of Drosophila sensory neuron dendrites

Dendrite arborization patterns are critical determinants of neuronal function. To explore the basis of transcriptional regulation in dendrite pattern formation, we used RNA interference (RNAi) to scre...

71. Branch-Coverage Testability Transformation for Unstructured Programs

Test data generation by hand is a tedious, expensive and error-prone activity, yet testing is a vital part of the development process. Several techniques have been proposed to automate the generation ...

72. Branch-Coverage Testability Transformation for Unstructured Programs

Test data generation by hand is a tedious, expensive and error-prone activity, yet testing is a vital part of the development process. Several techniques have been proposed to automate the generation ...

73. A Multi-Objective Approach To Search-Based Test Data Generation

There has been a considerable body of work on search-based test; data, generation for branch coverage. However, hitherto, there has been no work on multi-objective branch coverage. In many scenarios a...

74. Optimizing for the number of tests generated in search based test data generation with an application to the oracle cost problem

Previous approaches to search based test data generation tend to focus on coverage, rather than oracle cost. While there may be an aspiration that systems should have models, checkable specifications ...

75. An empirical investigation into branch coverage for C programs using CUTE and AUSTIN

Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testing. This paper report...

76. Branch-coverage testability transformation for unstructured programs

Test data generation by hand is a tedious, expensive and error-prone activity, yet testing is a vital part of the development process. Several techniques have been proposed to automate the generation ...

77. AUSTIN: A tool for search based software testing for the C language and its evaluation on deployed automotive systems

Despite the large number of publications on Search-Based Software Testing (SBST), there remain few publicly available tools. This paper introduces AUSTIN, a publicly available SBST tool for the C lang...

78. Automated web application testing using search based software engineering

This paper introduces three related algorithms and a tool, SWAT, for automated web application testing using Search Based Software Testing (SBST). The algorithms significantly enhance the efficiency a...

79. AUSTIN: An open source tool for search based software testing of C programs

Context: Despite the large number of publications on Search-Based Software Testing (SBST), there remain few publicly available tools. This paper introduces AUSTIN, a publicly available open source SBS...

80. en-USSequential Pattern Mining Based Test Case Regeneration

en-USAutomated test generation for object-oriented programs is an essential and yet a difficult task. Many automated test generation approaches produce test cases entirely from the program under test,...

Total: 110, showing 61 - 80. Order by Relevance · Date · Visits · Title
Submited: any time · last month · last 6 months · last year