Result: Java program analysis by symbolic execution

*Title*:

Java program analysis by symbolic execution / Carsten Otto ; Jürgen Giesl, Fausto Spoto

*Author/editor-in-chief*:

*Publication*:

Aachen : Universitätsbibliothek der RWTH Aachen, 2015

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Aachener Informatik-Berichte ; 2015,07)

*Dissertation note*:

Dissertation, Aachen, Techn. Hochsch., 2015

*Notes*:

In: Aachen : Fachgruppe Informatik, RWTH Aachen University, 2015

*Subject Added Keywords*:

*Result*: Java program analysis by symbolic execution