Model-driven Transformation-based Generation of Java Stress Tests
Victor Winter · Electronic Notes in Theoretical Computer Science · 2007
This paper describes a practical application of transformation-based analysis and code generation. An overview is given of an approach for automatically constructing Java stress tests whose execution exercises all “interesting” class initialization sequence possibilities for a given class hierarchy.