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

Müller R A, Lembeck C, Kuchen H



Publication type
Report

Peer reviewed
No

Publication status
Published

Year
2003

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