Constraint-Based Testing for Buffer Overflows

Al Sardy, L; Saglietti, F; Tang, T; Sonnenberg, H

Al Sardy, L; Saglietti, F (reprint author), Univ Erlangen Nurnberg, Software Engn Informat 11, Martensstr 3, D-91058 Erlangen, Germany.

COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2018, 2018; 11094 (): 99

Abstract

This article proposes two heuristic approaches targeted at the optimized generation of test cases capable of triggering buffer overflows resp. underfl......

Full Text Link