@conference {329,
	title = {Bounded exhaustive test input generation from hybrid invariants},
	booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented Programming Systems Languages {\&} Applications, {OOPSLA} 2014, part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
	year = {2014},
	publisher = {{ACM}},
	organization = {{ACM}},
	doi = {10.1145/2660193.2660232},
	url = {http://doi.acm.org/10.1145/2660193.2660232},
	author = {Nicol{\'a}s Rosner and Valeria S. Bengolea and Pablo Ponzio and Shadi Abdul Khalek and Nazareno Aguirre and Frias, Marcelo F. and Sarfraz Khurshid},
	editor = {Andrew P. Black and Todd D. Millstein}
}