IntEQ: Recognizing benign integer overflows via equivalence checking across multiple precisions
- Hao Sun
- Xiangyu Zhang
- et al.
- 2016
- ICSE 2016
Publications
Date
Featured collections
Popular topics
2 results at ICSE 2016
An empirical study of practitioners' perspectives on green software engineering
- Irene Manotas
- Christian Bird
- et al.
- 2016
- ICSE 2016