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 &qu...
详细信息
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" classinitialization sequence possibilities for a given class hierarchy.
暂无评论