Alex Groce, Willem Visser. Model checking Java programs using structural heuristics. In ISSTA. pages 12-21, 2002. [doi]
@inproceedings{GroceV02:0,
title = {Model checking Java programs using structural heuristics},
author = {Alex Groce and Willem Visser},
year = {2002},
doi = {10.1145/566172.566175},
url = {http://doi.acm.org/10.1145/566172.566175},
tags = {Java, meta programming, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/GroceV02%3A0},
cites = {0},
citedby = {0},
pages = {12-21},
booktitle = {ISSTA},
}