@inproceedings{3f406889ec1a4634808d303dfc270535,
title = "Model checking Java programs using structural heuristics",
abstract = "We describe work introducing heuristic search into the Java PathFinder model checker, which targets Java bytecode1. Rather than focusing on heuristics aimed at a particular kind of error (such as deadlocks) we describe heuristics based on a modification of traditional branch coverage metrics and other structural measures, such as thread inter-dependency. We present experimental results showing the utility of these heuristics, and argue for the Usefulness of structural heuristics as a class.",
keywords = "Coverage metrics, Heuristics, Model checking, Testing",
author = "Alex Groce and Willem Visser",
year = "2002",
doi = "10.1145/566173.566175",
language = "English (US)",
isbn = "1581135629",
series = "Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis",
publisher = "Association for Computing Machinery (ACM)",
pages = "12--21",
editor = "P.G. Frankl",
booktitle = "Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis",
address = "United States",
note = "ISSTA 02 Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis ; Conference date: 22-07-2002 Through 24-07-2002",
}