Abstract

This paper describes a practical application of transformation-based analysis and code generation. An overview is given of an approach for automatically construct- ing Java stress tests whose execution exercises all "interesting" class initialization sequence possibilities for a given class hierarchy.