MODEL PARTITIONS AND COMPACT TEST CASE SUITES

We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method.

The Effect of Contact on the Filter Paper Method for Measuring Soil Suction

The filter paper method is one of the most commonly used and critiqued techniques for measuring soil suction. However, many aspects related to its use still require some clarification. The results of a comprehensive study on the effect of the contact between the soil grains and soil water and the filter paper are presented herein. We investigated the influence of the equilibration time, the texture of the porous material and the degree of contact, or lack thereof, between the soil grains and the filter paper using Miamian #42 and three different types of porous material. To enhance the difference between the total suction and the matrix suction, osmotic suction was induced by saturating the specimens with a sodium chloride solution.

The generator coordinate method in the unrestricted Hartree-Fock formalism

The generator coordinate method was implemented in the unrestricted Hartree-Fock formalism. Weight functions were built from Gaussian generator functions for 1s, 2s, and 2p orbitals of carbon and oxygen atoms. These weight functions show a similar behavior to those found in the generator coordinate restricted Hartree-Fock method, i.e., they are smooth, continuous, and tend to zero in the limits of integration. Moreover, the weight functions obtained are different for spin-up and spin-down electrons what is a result from spin polarization. (C) 2011 Wiley Periodicals, Inc. Int J Quantum Chem, 2012