Model-driven Transformation-based Generation of Java Stress Tests

Victor L. Winter

Research output: Contribution to journalArticlepeer-review

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
StatePublished - Apr 24 2007
Externally publishedYes


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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Model-driven Transformation-based Generation of Java Stress Tests'. Together they form a unique fingerprint.

Cite this