@conference {14279,
	title = {Mixing type checking and symbolic execution},
	booktitle = {ACM SIGPLAN Notices},
	volume = {45},
	year = {2010},
	month = {2010///},
	pages = {436 - 447},
	author = {Khoo,Y.P. and Chang,B.Y.E. and Foster, Jeffrey S.}
}
