Article
Generation of the weakest preconditions of programs with dynamic memory in symbolic execution
October 2022