A Symbolic Java Vitual Machine for Test-Case Generation

Müller R, Lembeck C, Kuchen H

Cite as

Müller, R., Lembeck, C., & Kuchen, H. (2004). A Symbolic Java Vitual Machine for Test-Case Generation. In Proceedings of the IASTED, 365–371.

Details

Publication type
Research article in proceedings (conference)

Peer reviewed
Yes

Publication status
Published

Year
2004

Conference
IASTED

Start page
365

End page
371

Language
English

Full text