%0 Journal Article %1 journals/sttt/GroceV04 %A Groce, Alex %A Visser, Willem %D 2004 %J STTT %K java model_checking tool white_box %N 4 %P 260-276 %T Heuristics for model checking Java programs. %U http://dblp.uni-trier.de/db/journals/sttt/sttt6.html#GroceV04 %V 6

@article{journals/sttt/GroceV04, added-at = {2010-07-14T16:41:40.000+0200}, author = {Groce, Alex and Visser, Willem}, biburl = {https://www.bibsonomy.org/bibtex/20f6f11d4703470d388fd7f379fa3effd/davef}, date = {2005-03-18}, description = {dblp}, ee = {http://www.springerlink.com/index/10.1007/s10009-003-0130-9}, interhash = {205a0af20746adca4a011eacfe9dcdfb}, intrahash = {0f6f11d4703470d388fd7f379fa3effd}, journal = {STTT}, keydf = {whitebox1}, keywords = {java model_checking tool white_box}, note = {JPF}, number = 4, pages = {260-276}, timestamp = {2010-07-14T16:41:40.000+0200}, title = {Heuristics for model checking Java programs.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt6.html#GroceV04}, volume = 6, year = 2004 }