Result: A Symbolic Java Virtual Machine for Test Case Generation

*Title*:

A Symbolic Java Virtual Machine for Test Case Generation / Roger A. Müller, Christoph Lembeck, Herbert Kuchen

*Author/editor-in-chief*:

*Publication*:

Münster : Universitäts- und Landesbibliothek Münster, 2004

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*Result*: A Symbolic Java Virtual Machine for Test Case Generation