Mutation-based exploration of a method for verifying concurrent Java components

Summary form only given. The Java programming language supports concurrency. Concurrent programs are harder to verify than their sequential counterparts due to their inherent nondeterminism and a number of specific concurrency problems such as interference and deadlock. In previous work, we proposed a method for verifying concurrent Java components based on a mix of code inspection, static analysis tools, and the ConAn testing tool. The method was derived from an analysis of concurrency failures in Java components, but was not applied in practice. In this paper, we explore the method by applying it to an implementation of the well-known readers-writers problem and a number of mutants of that implementation. We only apply it to a single, well-known example, and so we do not attempt to draw any general conclusions about the applicability or effectiveness of the method. However, the exploration does point out several strengths and weaknesses in the method, which enable us to fine-tune the method before we carry out a more formal evaluation on other, more realistic components.

Soil exploration by sorghum root systems in wide row cropping systems

Wide and ‘skip row’ row configurations have been used as a means to improve yield reliability in grain sorghum production. However, there has been little effort put to design of these systems in relation to optimal combinations of root system characteristics and row configuration, largely because little is known about root system characteristics. The studies reported here aimed to determine the potential extent of root system exploration in skip row systems. Field experiments were conducted under rain-out shelters and the extent of water extraction and root system growth measured. One experiment was conducted using widely-spaced twin rows grown in the soil. The other experiment involved the use of specially constructed large root observation chambers for single plants. It was found that the potential extent of root system exploration in sorghum was beyond 2m from the planted rows using conventional hybrids and that root exploration continued during grain filling. Preliminary data suggested that the extent of water extraction throughout this region depended on root length density and the balance between demand for, and supply of, water. The results to date suggest that simultaneous genetic and management manipulation of wide row production systems might lead to more effective and reliable production in specific environments. Further study of variation in root-shoot dynamics and root system characteristics is required to exploit possible opportunities.