@inproceedings{DATE-2009-CostaM,
	author        = "José C. Costa and José C. Monteiro",
	booktitle     = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
	pages         = "1568--1571",
	publisher     = "{IEEE}",
	title         = "{A MILP-based approach to path sensitization of embedded software}",
	year          = 2009,
}