Model-driven Transformation-based Generation of Java Stress Tests

Victor L. Winter

doi:10.1016/j.entcs.2006.10.022

Model-driven Transformation-based Generation of Java Stress Tests

Victor L. Winter

Computer Science

Research output: Contribution to journal › Article › peer-review

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 language	English (US)
Pages (from-to)	99-114
Number of pages	16
Journal	Electronic Notes in Theoretical Computer Science
Volume	174
Issue number	1
DOIs	https://doi.org/10.1016/j.entcs.2006.10.022
State	Published - Apr 24 2007

Keywords

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

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1016/j.entcs.2006.10.022

Cite this

@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.}",

note = "Funding Information: 1 This work was in part supported by the United States Department of Energy under Contract DE-AC04-94AL85000. Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy. 2 Email: [email protected]",

year = "2007",

month = apr,

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 B.V.",

number = "1",

}

TY - JOUR

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

AU - Winter, Victor L.

N1 - Funding Information: 1 This work was in part supported by the United States Department of Energy under Contract DE-AC04-94AL85000. Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy. 2 Email: [email protected]

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

SN - 1571-0661

VL - 174

SP - 99

EP - 114

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 1

ER -

Model-driven Transformation-based Generation of Java Stress Tests

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this