Patent ID: 7225428

Claim:
A computer-implemented method to produce a final set of arguments, comprising: a) executing a software function using a set of test arguments and obtaining a result corresponding to each of the set of test arguments, each result indicating one of a set of non-robust and robust results, a subset of test arguments corresponding to robust results, wherein step a) further comprises: a1) forming an nth test argument comprising an array type having an allocated size m; a2) executing the software function using the nth test argument and determining an nth result; a3) incrementing n and m and repeating steps a1) and a2) if the nth result is a non-robust result; and a4) setting a minimum robust size M=m if the nth result is a robust result; and b) producing said set of final arguments based on the results and the set of test arguments, the set of final arguments including the subset of said test arguments.