@article{journals/spe/Howden78,
	title = {An Evaluation of the Effectiveness of Symbolic Testing.},
	author = {William E. Howden},
	journal = {Softw., Pract. Exper.},
	number = {4},
	pages = {381-397},
	url = {http://dblp.uni-trier.de/db/journals/spe/spe8.html#Howden78},
	volume = {8},
	year = {1978},
	biburl = {http://www.bibsonomy.org/bibtex/2f42ebf833bae3f08448ac6d12052008d/dblp},
	description = {dblp},
	date = {2003-11-25},
	keywords = {dblp }
}