Model-driven Transformation-based Generation of Java Stress Tests

Authors:
Victor L. Winter
Affiliations:
Department of Computer Science, University of Nebraska at Omaha, USA
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 4
Cited 0

Building program optimizers with rewriting strategies

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A Strafunski Application Letter

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
The transient combinator, higher-order strategies, and the distributed data problem

Science of Computer Programming - Special issue on program transformation
The SSP: an example of high-assurance systems engineering

HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.