Trade spectra of complete partite graphs

The trade spectrum of a graph G is essentially the set of all integers t for which there is a graph H whose edges can be partitioned into t copies of G in two entirely different ways. In this paper we determine the trade spectrum of complete partite graphs, in all but a few cases.

A framework for table driven testing of Java classes

With the advent of object-oriented languages and the portability of Java, the development and use of class libraries has become widespread. Effective class reuse depends on class reliability which in turn depends on thorough testing. This paper describes a class testing approach based on modeling each test case with a tuple and then generating large numbers of tuples to thoroughly cover an input space with many interesting combinations of values. The testing approach is supported by the Roast framework for the testing of Java classes. Roast provides automated tuple generation based on boundary values, unit operations that support driver standardization, and test case templates used for code generation. Roast produces thorough, compact test drivers with low development and maintenance cost. The framework and tool support are illustrated on a number of non-trivial classes, including a graphical user interface policy manager. Quantitative results are presented to substantiate the practicality and effectiveness of the approach. Copyright (C) 2002 John Wiley Sons, Ltd.

Gene Expression in Brain: A Window on Ethanol Dependence, Neuroadaptation, and Preference

This article represents the proceedings of a symposium at the 2002 joint RSA/ISBRA Conference in San Francisco, California. The organizer was Paula L. Hoffman and the co-chairs were Paula L. Hoffman and Michael Miles. The presentations were (1) Introduction and overview of the use of DNA microarrays, by Michael Miles; (2) DNA microarray analysis of gene expression in brains of P and NP rats, by Howard J. Edenberg; (3) Gene expression patterns in brain regions of AA and ANA rats, by Wolfgang Sommer; (4) Patterns of gene expression in brains of selected lines of mice that differ in ethanol tolerance, by Boris Tabakoff; (5) Gene expression profiling related to initial sensitivity and tolerance in gamma-protein kinase C mutants, by Jeanne Wehner; and (6) Gene expression patterns in human alcoholic brain: from microarrays to protein profiles, by Joanne Lewohl.

Tool support for testing concurrent Java components

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

API documentation with executable examples

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.

Steiner trade spectra of complete partite graphs

The Steiner trade spectrum of a simple graph G is the set of all integers t for which there is a simple graph H whose edges can be partitioned into t copies of G in two entirely different ways. The Steiner trade spectra of complete partite graphs were determined in all but a few cases in a recent paper by Billington and Hoffman (Discrete Math. 250 (2002) 23). In this paper we resolve the remaining cases. (C) 2004 Elsevier B.V. All rights reserved.

1H-1,3-Diazepines, 5H-1,3-diazepines, 1,3-diazepinones, and 2,4-diazabicyclo[3.2.0]heptenes

Tetrazolo[1,5-a] pyridines/ 2-azidopyridines 1 undergo photochemical nitrogen elimination and ring expansion to 1,3-diazacyclohepta-1,2,4,6-tetraenes 3, which react with alcohols to afford 2-alkoxy-1H-1,3-diazepines 4 (5), with secondary amines to 2-dialkylamino-5H-1,3-diazepines 16, sometimes via isolable 2-dialkylamino-1H-1,3-diazepines 15, and with water to 1,3-diazepin-2-ones 19. The latter are also obtained by elimination of isobutene or propene from 2-tert-butoxy- or 2-isopropoxy-1H-1,3-diazepines 4 or 5. 1,3-Diazepin-2-one 22B and 1,3-diazepin-4-one 24 were obtained from hydrolysis of the corresponding 4-chlorodiazepines. Diazepinones 19 undergo photochemical ring closure to diazabicycloheptenones 25 in high yields. The 2-alkoxy-1H-1,3-diazepines 4 and 5 interconvert by rapid proton exchange between positions N1 and N3. The free energies of activation for the proton exchange were measured by the Forsen - Hoffman method as DeltaGdouble dagger(298) = 16.2 +/- 0.6 kcal mol(-1) as an average for 4a - c in CD2Cl2, acetone-d(6), and methanol-d(4), and 14.1 +/- 0.6 kcal mol(-1) for 4c in acetone/D2O. The structures of 2-methoxy-5,6-bis( trifluoromethyl)-1H-1,3-diazepine 4k, 1,2-dihydro-4-diethylamino-5H-1,3-diazepin-2-one 22bB, and diazabicycloheptanone 26 were determined by X-ray crystallography. The former represents the first reported X-ray crystal structure of any monocyclic N-unsubstituted 1H-azepine.

Use of the Vector (TM) scaling unit in supportive periodontal therapy: a subjective patient evaluation

Background: Patient discomfort is one reason for poor compliance with supportive periodontal therapy (SPT). The aim of this study was to compare the levels of discomfort during SPT, using the Vector (TM) system and treatment with a conventional ultrasonic scaler. Methods: Forty-six patients with an SPT programme were debrided using both the Vector (TM) system and a conventional piezo-electric scaler (Sirona (TM)) in a split mouth design. A visual analogue scale was used to evaluate of pain scores upon completion of treatment. A verbal response scale(VRS) was used to assess discomfort, vibration and noise associated with the scaling system, as well as the volume and taste of the coolant used by these systems. Results: Patients instrumented with the Vector (TM) system experienced approximately half the amount of pain compared with the conventional ultrasonic scaling system. The VRS showed that the Vector (TM) system caused less discomfort than the conventional ultrasonic scaling system when assessed for pain, vibration, noise and volume of coolant. These findings were all statistically significant. There was, however, no statistically significant difference between the two systems when assessed for taste. Conclusion: During SPT the Vector (TM) system caused reduced discomforting sensations compared with conventional methods and may be useful in improving compliance with SPT programmes.

Some equitably 3-colourable cycle decompositions of complete equipartite graphs

Let G be a graph in which each vertex has been coloured using one of k colours, say c(1), c(2),.. , c(k). If an m-cycle C in G has n(i) vertices coloured c(i), i = 1, 2,..., k, and vertical bar n(i) - n(j)vertical bar <= 1 for any i, j is an element of {1, 2,..., k}, then C is said to be equitably k-coloured. An m-cycle decomposition C of a graph G is equitably k-colourable if the vertices of G can be coloured so that every m-cycle in W is equitably k-coloured. For m = 3, 4 and 5 we completely settle the existence question for equitably 3-colourable m-cycle decompositions of complete equipartite graphs. (c) 2005 Elsevier B.V. All rights reserved.

Tool support for executable documentation of Java class hierarchies

While object-oriented programming offers great solutions for today's software developers, this success has created difficult problems in class documentation and testing. In Java, two tools provide assistance: Javadoc allows class interface documentation to be embedded as code comments and JUnit supports unit testing by providing assert constructs and a test framework. This paper describes JUnitDoc, an integration of Javadoc and JUnit, which provides better support for class documentation and testing. With JUnitDoc, test cases are embedded in Javadoc comments and used as both examples for documentation and test cases for quality assurance. JUnitDoc extracts the test cases for use in HTML files serving as class documentation and in JUnit drivers for class testing. To address the difficult problem of testing inheritance hierarchies, JUnitDoc provides a novel solution in the form of a parallel test hierarchy. A small controlled experiment compares the readability of JUnitDoc documentation to formal documentation written in Object-Z. Copyright (c) 2005 John Wiley & Sons, Ltd.