Bounded exhaustive test input generation from hybrid invariants.

Nicols Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid

Browse the full OOPSLA paper archive.