Whitebox fuzzing extends dynamic test generation based on symbolic execution and constraint solving from unit testing to whole-application security testing. Unfortunately, input-dependent loops may cause an explosion in the number of constraints to be ...
Parallelization of programs relies on sound and precise analysis of data dependences in the code, specifically, when dealing with loops. State-of-art tools are based on dynamic profiling and static analysis. They tend to over- and, occasionally, to ...
We investigate C1-smooth univariate curvature-based cubic L1 interpolating splines in Cartesian and polar coordinates. The coefficients of these splines are calculated by minimizing the L1 norm of curvature. We compare these curvature-based cubic L1 ...
IEEE Press
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in
