Constraint-Based Testing for Buffer Overflows.

Loui Al Sardy Francesca Saglietti Tong Tang Heiko Sonnenberg

Published in: SAFECOMP Workshops (2018)

Keyphrases

buffer overflow
constraint satisfaction
buffer size
information systems
data sets
genetic algorithm
replacement policy