Model-driven Transformation-based Generation of Java Stress Tests

Victor L. Winter

Research output: Contribution to journalArticle

4 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)99-114
Number of pages16
JournalElectronic Notes in Theoretical Computer Science
Issue number1
Publication statusPublished - Apr 24 2007



  • <clinit> method
  • HATS
  • JVM
  • Java class initialization
  • TL
  • program transformation
  • strategic programming

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this