1. Constraint-Based Testing for Buffer Overflows
- Author
-
Francesca Saglietti, Tong Tang, Heiko Sonnenberg, and Loui Al Sardy
- Subjects
Mathematical optimization ,021103 operations research ,Test case ,Integer constraint ,Heuristic (computer science) ,Computer science ,0211 other engineering and technologies ,0202 electrical engineering, electronic engineering, information engineering ,020207 software engineering ,02 engineering and technology ,Global optimization ,Buffer overflow ,Constraint based testing - Abstract
This article proposes two heuristic approaches targeted at the optimized generation of test cases capable of triggering buffer overflows resp. underflows. Both testing techniques are based on guiding conditions statically derived by Integer Constraint Analysis. First experimental evaluations confirmed the superiority of local optimization algorithms over global ones.
- Published
- 2018
- Full Text
- View/download PDF