Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid: Bounded exhaustive test input generation from hybrid invariants. OOPSLA 2014: 655-674