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

The first 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.