Alex Groce, Willem Visser
Model checking Java programs using structural heuristics
ISSTA, 2002.
@inproceedings{ISSTA-2002-GroceV, author = "Alex Groce and Willem Visser", booktitle = "{Proceedings of the International Symposium on Software Testing and Analysis}", doi = "10.1145/566172.566175", pages = "12--21", publisher = "{ACM}", title = "{Model checking Java programs using structural heuristics}", year = 2002, }