Inductive inference, the automatic syn-Budd80thesis of programs, bears certain ostensible rela-Budd, Timothy A., Richard A. DeMillo, Richardtionships with program testing. For inductive in-J. Lipton, and Frederick G. Sayward. “Theoreticalference, one must take a finite sample of the desiredand Empirical Studies on Using Program Mutationsinput/output behavior of s...

Unit testing is an attractive quality management tool in the software development process, however, practical obstacles make it difficult to use unit tests for performance testing. We present Stochastic Performance Logic, a formalism for expressing performance requirements, together with interpretations that facilitate performance evaluation in the unit test context. The formalism and the inter...

This chapter presents a case-study of how the abstractions and infrastructure discussed in Part III and Part IV of this dissertation may be applied to source code analysis and interactive code generation. The motivation for the case study prototype, an interactive unit test generator, is that current unit testing methodologies often result in poor test coverage due to rather ad-hoc approaches.

A new experimental setup for studying reactions occurring in the metal-atmosphere interface by applying in situ infrared reflection-absorption spectroscopy (IRRAS) is presented. It consists of a gas-mixing unit, where the moist air is generated with or without corrosive gases, the reaction cell for the in situ investigations, and an optical system coupled with a Fourier transform infrared (FT-I...