GlassTT - A Symbolic Java Virtual Machine using Constraint Solving Techniques for Glass-Box Test Case Generation

Müller R A, Lembeck C, Kuchen H

Cite as

Müller, R. A., Lembeck, C., & Kuchen, H. (2003). GlassTT — A Symbolic Java Virtual Machine using Constraint Solving Techniques for Glass-Box Test Case Generation. In Becker, J., Grob, H.-L., Klein, S., Kuchen, H., Müller-Funk, U., & Vossen, G. (Eds.), Arbeitsberichte des Instituts für Wirtschaftsinformatik: Vol. 102. Münster: Institut für Wirtschaftsinformatik, WWU Münster.

Details

Publication type
Working paper

Peer reviewed
No

Publication status
Published

Year
2003

Journal
Arbeitsberichte des Instituts für Wirtschaftsinformatik

Editor
Becker J, Grob H-L, Klein S, Kuchen H, Müller-Funk U, Vossen G

Volume
102

Title of series
Arbeitsberichte des Instituts für Wirtschaftsinformatik

Publisher
Institut für Wirtschaftsinformatik, WWU Münster

Place
Münster

Language
English

ISSN
1438-3985