AI-driven self-testing and automatic error correction for robustness - Final version

The final version of the description of methodology and prototype implementation for automatic correction of robustness related weaknesses and AI boosted symbolic execution-based vulnerability identification algorithms.