Model-driven Transformation-based Generation of Java Stress Tests

Victor L. Winter

Research output: Contribution to journalArticle

4 Citations (Scopus)

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

Fingerprint

Java
Code Generation
Initialization
Exercise
Model
Class
Code generation
Hierarchy

Keywords

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Model-driven Transformation-based Generation of Java Stress Tests. / Winter, Victor L.

In: Electronic Notes in Theoretical Computer Science, Vol. 174, No. 1, 24.04.2007, p. 99-114.

Research output: Contribution to journalArticle

@article{9b3bc4210ed340149c5068e296db90c6,
title = "Model-driven Transformation-based Generation of Java Stress Tests",
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.",
keywords = "<clinit> method, HATS, JVM, Java class initialization, TL, program transformation, strategic programming",
author = "Winter, {Victor L.}",
year = "2007",
month = "4",
day = "24",
doi = "10.1016/j.entcs.2006.10.022",
language = "English (US)",
volume = "174",
pages = "99--114",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Elsevier",
number = "1",

}

TY - JOUR

T1 - Model-driven Transformation-based Generation of Java Stress Tests

AU - Winter, Victor L.

PY - 2007/4/24

Y1 - 2007/4/24

N2 - 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.

AB - 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.

KW - <clinit> method

KW - HATS

KW - JVM

KW - Java class initialization

KW - TL

KW - program transformation

KW - strategic programming

UR - http://www.scopus.com/inward/record.url?scp=34247381118&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34247381118&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2006.10.022

DO - 10.1016/j.entcs.2006.10.022

M3 - Article

AN - SCOPUS:34247381118

VL - 174

SP - 99

EP - 114

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 1

ER -