Catchconv: Symbolic execution and run-time type inference for integer conversion errors (2007)
by
David Alexander Molnar
,
David Molnar
,
David Wagner
,
David Wagner
| Venue: | UC Berkeley EECS |
| Citations: | 9 - 2 self |
BibTeX
@TECHREPORT{Molnar07catchconv:symbolic,
author = {David Alexander Molnar and David Molnar and David Wagner and David Wagner},
title = {Catchconv: Symbolic execution and run-time type inference for integer conversion errors},
institution = {UC Berkeley EECS},
year = {2007}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission. Catchconv: Symbolic execution and run-time type inference for integer conversion errors
