@inproceedings{FerraraFuchsJuhasz12, author = {P. Ferrara and R. Fuchs and U. Juhasz}, title = {TVAL+ : TVLA and Value Analyses Together}, booktitle = {Software Engineering and Formal Methods (SEFM)}, editor = {George Eleftherakis and Mike Hinchey and Mike Holcombe}, year = {2012}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, isbn = {978-3-642-33825-0}, volume = {7504}, doi = {10.1007/978-3-642-33826-7_5}, pages = {63-77}, }