Software testing takes a considerable amount of time and resources spent on producing software. Therefore, it would be useful to have ways to reduce the cost of software testing. The new concepts of spanning sets of entities suggested by Marré and Bertolino are useful for reducing the cost of testing. In fact, to reduce the testing effort, the generation of test data can be targeted to cover th...

planting shrub seedlings under oil mulches has frequently been used for stabilizing mobile sands in iran for during the last three decades. sandy desert of samad abad, sarakhs, northeast iran, has been fixed by cultivating seedling of haloxylon aphyllum under the oil mulches. therefore this study was designed to investigate the effects of the sand fixation project on soil and vegetation propert...

Commercially available high-resolution satellite imagery from sensors such as IKONOS and QuickBird are important data sources for a variety of urban area applications including infrastructure feature extraction and land cover mapping. Land cover maps from medium and high-resolution imagery are typically generated through supervised spectral classification of multispectral imagery. Supervised cl...

This paper presents an in-situ inspection and experimental investigation on the pore solution pH of concrete cover for the corrosion initiation of rebars under a long-term natural carbonation reaction. A 77-year-old steel mill was inspected, and 35 concrete column cover samples were collected to test the pH of the pore solution and phase compositions layer by layer. The variation in pH and phas...

A few works address the challenge of automating software diversification, and they all share one core idea: using automated test suites to drive diversification. However, there is is lack of solid understanding of how test suites, programs and transformations interact one with another in this process. We explore this intricate interplay in the context of a specific diversification technique cal...

Software testing is an important activity in software development process. Testers have to generate test cases to test a system. At least, test cases consist of test input values and expected results. In functional testing or black-box testing, test designers can generate test cases from a requirements specification document which includes diagrams such as UML Diagrams. In this research, we con...

In a prospective study, 232 neonates were examined sonographically using the methods of Graf and Terjesen. In order to determine the reproducibility of the methods, 50 hips were evaluated by two skilled examiners. In an inter-observer study, five physicians and five medical students evaluated 24 images, which were evaluated on ten occasions at two-weekly intervals by one of the authors. Statist...

Grassland vegetation can provide visual cover for terrestrial vertebrates. The most commonly used method to assess visual cover is the Robel pole. We test the use of digital photography as a more accurate and repeatable method. We assessed the digital photography method on four forage grassland species (Pseudoroegneria spicata, Festuca campestris, Poa pratensis, Achnatherum richardsonii). Digit...

Weed management is critical in hazelnut (Corylus avellana) production. Weeds reduce nutrient availability, interfere with tree growth, and reduce handharvesting efficiency. Field experiments were conducted from Fall 2006 to 2010 to test effects of brassica (Brassica sp.) cover crops and hazelnut husk mulch as alternative weed management strategies in hazelnut. The cover crop treatments consiste...

A subset S of vertices of a graph G is called a k-path vertex cover if every path of order k in G contains at least one vertex from S. Denote by ψk(G) the minimum cardinality of a k-path vertex cover in G. In this article a lower and an upper bound for ψk of the rooted product graphs are presented. Two characterizations are given when those bounds are attained. Moreover ψ2 and ψ3 are exactly de...