Marcelo Sousa, Csar Rodrguez, Vijay Victor D'Silva, Daniel Kroening
Browse the full CAV paper archive.