@article{visser03checking,
	title = {Model Checking Programs},
	author = {Willem Visser and Klaus Havelund and Guillaume Brat and Seungjoon Park and Flavio Lerda},
	journal = {Automated Software Engineering},
	month = {April},
	number = {2},
	pages = {203--232},
	url = {http://portal.acm.org/citation.cfm?id=641186},
	volume = {10},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/26c2b5238907aa0062b977b6f0e02deab/msn},
	citeulike-article-id = {1188784}, priority = {2}, doi = {10.1023/A:1022920129859},
	keywords = {cites.ref mrefs state.unclassified }
}