Model-driven Transformation-based Generation of Java Stress Tests

Victor L. Winter

Research output: Contribution to journalArticle

4 Scopus citations

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.

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

Keywords

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

  • Cite this